この英語学は厳しいけれどそれは真白いということはない
fact1: 何かは非難がましくらないとしたら「それは厳しくて真白くない」ということは間違いである fact2: もしもとある物が宿泊所であるということはないならこの英語学はべた付き易くないしその上懐こいということはない fact3: 「仮にあの火口が宿泊所だとすればこの英語学は厳しい一方で真白いということはない」ということは真実だ fact4: べた付き易くないものであってかつ懐こくないものは非難がましかない fact5: とある物は宿泊所でない fact6: 何らかのものは荒らし子でない fact7: もしもとあるものは興味無しでないならば「それは象牙彫刻展だが止む無いということはない」ということは事実と異なる
fact5 & fact2 -> int1: この英語学はべた付き易くないし懐こいということはない; fact4 -> int2: もし仮にこの英語学がべた付き易くないし加えてそれが懐こくないとすれば非難がましいということはない; int1 & int2 -> int3: 「この英語学が非難はましくらない」ということは正しい; fact1 -> int4: もし仮にこの英語学は非難がましいということはないとすれば「それは厳しいがしかし真白くない」ということは成り立たない; int3 & int4 -> hypothesis;
fact5 & fact2 -> int1: (¬{B}{a} & ¬{C}{a}); fact4 -> int2: (¬{B}{a} & ¬{C}{a}) -> ¬{D}{a}; int1 & int2 -> int3: ¬{D}{a}; fact1 -> int4: ¬{D}{a} -> ¬({F}{a} & ¬{E}{a}); int3 & int4 -> hypothesis;
仮にこの英語学は興味無しでないなら「それは象牙彫刻展だがしかし止む無くない」ということは成り立たない
fact8 -> hypothesis;
$facts$ = fact1: 何かは非難がましくらないとしたら「それは厳しくて真白くない」ということは間違いである fact2: もしもとある物が宿泊所であるということはないならこの英語学はべた付き易くないしその上懐こいということはない fact3: 「仮にあの火口が宿泊所だとすればこの英語学は厳しい一方で真白いということはない」ということは真実だ fact4: べた付き易くないものであってかつ懐こくないものは非難がましかない fact5: とある物は宿泊所でない fact6: 何らかのものは荒らし子でない fact7: もしもとあるものは興味無しでないならば「それは象牙彫刻展だが止む無いということはない」ということは事実と異なる ; $hypothesis$ = この英語学は厳しいけれどそれは真白いということはない ; $proof$ = 
fact5 & fact2 -> int1: この英語学はべた付き易くないし懐こいということはない; fact4 -> int2: もし仮にこの英語学がべた付き易くないし加えてそれが懐こくないとすれば非難がましいということはない; int1 & int2 -> int3: 「この英語学が非難はましくらない」ということは正しい; fact1 -> int4: もし仮にこの英語学は非難がましいということはないとすれば「それは厳しいがしかし真白くない」ということは成り立たない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 何かは非難がましくらないとしたら「それは厳しくて真白くない」ということは間違いである
事実2: もしもとある物が宿泊所であるということはないならこの英語学はべた付き易くないしその上懐こいということはない
事実3: 「仮にあの火口が宿泊所だとすればこの英語学は厳しい一方で真白いということはない」ということは真実だ
事実4: べた付き易くないものであってかつ懐こくないものは非難がましかない
事実5: とある物は宿泊所でない
事実6: 何らかのものは荒らし子でない
事実7: もしもとあるものは興味無しでないならば「それは象牙彫刻展だが止む無いということはない」ということは事実と異なる

仮説: この英語学は厳しいけれどそれは真白いということはない
1. 事実5と事実2から、推論1: "この英語学はべた付き易くないし懐こいということはない"が導かれる
2. 事実4から、推論2: "もし仮にこの英語学がべた付き易くないし加えてそれが懐こくないとすれば非難がましいということはない"が導かれる
3. 推論1と推論2から、推論3: "「この英語学が非難はましくらない」ということは正しい"が導かれる
4. 事実1から、推論4: "もし仮にこの英語学は非難がましいということはないとすれば「それは厳しいがしかし真白くない」ということは成り立たない"が導かれる
5. 推論3と推論4から、仮説が否定される

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