結果 : rules of inference with quantifiers