結果 : first order logic inference rules for quantifiers