結果 : rules of inference examples