「この哀は満足し切るということはないか臭いかまたは両方だ」ということは嘘である
fact1: 「この哀は裁定するということはないか臭いか両方である」ということは成り立つ fact2: この哀はエンコードするかまたは満足し切るかどちらもである fact3: この哀は臭い fact4: この哀は満足し切らないかまたは錯乱するかあるいはどちらもである fact5: この哀はコース毎であるかあるいは満足し切るかもしくは両方である fact6: この哀は抽出・特定しないかあるいは臭いかあるいは両方である fact7: この哀は痒くないかもしくはそれは満足し切るかまたはどちらもだ fact8: その光明は丑寅であるかまたは満足し切る fact9: あの推論過程は臭い fact10: この哀は寒くないかまたは来館するかあるいは両方ともだ fact11: もしもなんらかのものは初年度報酬率法でないとすれば「満足し切らないかまたはそれは臭い」ということは間違っている
fact3 -> hypothesis;
fact3 -> hypothesis;
「この哀は満足し切らないかまたは臭いかもしくは両方ともである」ということは誤りである
fact12 -> int1: もし仮にこの哀は初年度報酬率法でないとすれば「満足し切らないかあるいは臭い」ということは成り立たない;
$facts$ = fact1: 「この哀は裁定するということはないか臭いか両方である」ということは成り立つ fact2: この哀はエンコードするかまたは満足し切るかどちらもである fact3: この哀は臭い fact4: この哀は満足し切らないかまたは錯乱するかあるいはどちらもである fact5: この哀はコース毎であるかあるいは満足し切るかもしくは両方である fact6: この哀は抽出・特定しないかあるいは臭いかあるいは両方である fact7: この哀は痒くないかもしくはそれは満足し切るかまたはどちらもだ fact8: その光明は丑寅であるかまたは満足し切る fact9: あの推論過程は臭い fact10: この哀は寒くないかまたは来館するかあるいは両方ともだ fact11: もしもなんらかのものは初年度報酬率法でないとすれば「満足し切らないかまたはそれは臭い」ということは間違っている ; $hypothesis$ = 「この哀は満足し切るということはないか臭いかまたは両方だ」ということは嘘である ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「この哀は裁定するということはないか臭いか両方である」ということは成り立つ
事実2: この哀はエンコードするかまたは満足し切るかどちらもである
事実3: この哀は臭い
事実4: この哀は満足し切らないかまたは錯乱するかあるいはどちらもである
事実5: この哀はコース毎であるかあるいは満足し切るかもしくは両方である
事実6: この哀は抽出・特定しないかあるいは臭いかあるいは両方である
事実7: この哀は痒くないかもしくはそれは満足し切るかまたはどちらもだ
事実8: その光明は丑寅であるかまたは満足し切る
事実9: あの推論過程は臭い
事実10: この哀は寒くないかまたは来館するかあるいは両方ともだ
事実11: もしもなんらかのものは初年度報酬率法でないとすれば「満足し切らないかまたはそれは臭い」ということは間違っている

仮説: 「この哀は満足し切るということはないか臭いかまたは両方だ」ということは嘘である
1. 事実3から、仮説が否定される

よって、仮説が否定されました。