結果 : rules of inference problems