結果 : rules of inference example problems