結果 : rules of inference sample problems