「あの会は区別し易くない」ということは真実だ
fact1: 「「あの会は召し上げるが残り難くない」ということは成り立つ」ということは誤りだ fact2: 「あの会は炉体である一方でそれは茹で始めない」ということは間違いである fact3: 仮に「あの会は炉体であるがそれは心強くない」ということは間違っているとしたらこの司書達は炉体だ fact4: もしも「あの会は茹で始める」ということは成り立てば区別し易い fact5: 「「あの会は炉体であるが茹で始めない」ということは成り立たないとしたら「あの会は区別し易い」ということは成り立つ」ということは真実だ fact6: もし仮に「そのクリンチ体勢は字下げするけど炉体でない」ということは誤りならば渡海する fact7: あの会はおどろおどろしい fact8: 仮に「この癒し効果は心強いかまたは区別し易いか両方だ」ということは成り立たないとするとあの会は区別し易くない fact9: もしも「あの会は貯金口座だけど渡海しない」ということは成り立たないとすれば区別し易い fact10: 「この繊維芽細胞は損なうけれど本件物件であるということはない」ということは間違いだ fact11: もし仮になにがしかのものは出易くないとすれば「心強いかあるいは区別し易いかあるいはどちらもだ」ということは成り立たない fact12: もしも「その幼児は鈍いけど賞味期限でない」ということは成り立たないならそれは瞠目する fact13: 「あの会は炉体で茹で始める」ということは間違いだ
fact5 & fact2 -> hypothesis;
この司書達は炉体である
$facts$ = fact1: 「「あの会は召し上げるが残り難くない」ということは成り立つ」ということは誤りだ fact2: 「あの会は炉体である一方でそれは茹で始めない」ということは間違いである fact3: 仮に「あの会は炉体であるがそれは心強くない」ということは間違っているとしたらこの司書達は炉体だ fact4: もしも「あの会は茹で始める」ということは成り立てば区別し易い fact5: 「「あの会は炉体であるが茹で始めない」ということは成り立たないとしたら「あの会は区別し易い」ということは成り立つ」ということは真実だ fact6: もし仮に「そのクリンチ体勢は字下げするけど炉体でない」ということは誤りならば渡海する fact7: あの会はおどろおどろしい fact8: 仮に「この癒し効果は心強いかまたは区別し易いか両方だ」ということは成り立たないとするとあの会は区別し易くない fact9: もしも「あの会は貯金口座だけど渡海しない」ということは成り立たないとすれば区別し易い fact10: 「この繊維芽細胞は損なうけれど本件物件であるということはない」ということは間違いだ fact11: もし仮になにがしかのものは出易くないとすれば「心強いかあるいは区別し易いかあるいはどちらもだ」ということは成り立たない fact12: もしも「その幼児は鈍いけど賞味期限でない」ということは成り立たないならそれは瞠目する fact13: 「あの会は炉体で茹で始める」ということは間違いだ ; $hypothesis$ = 「あの会は区別し易くない」ということは真実だ ; $proof$ = 
fact5 & fact2 -> hypothesis; __DISPROVED__
事実1: 「「あの会は召し上げるが残り難くない」ということは成り立つ」ということは誤りだ
事実2: 「あの会は炉体である一方でそれは茹で始めない」ということは間違いである
事実3: 仮に「あの会は炉体であるがそれは心強くない」ということは間違っているとしたらこの司書達は炉体だ
事実4: もしも「あの会は茹で始める」ということは成り立てば区別し易い
事実5: 「「あの会は炉体であるが茹で始めない」ということは成り立たないとしたら「あの会は区別し易い」ということは成り立つ」ということは真実だ
事実6: もし仮に「そのクリンチ体勢は字下げするけど炉体でない」ということは誤りならば渡海する
事実7: あの会はおどろおどろしい
事実8: 仮に「この癒し効果は心強いかまたは区別し易いか両方だ」ということは成り立たないとするとあの会は区別し易くない
事実9: もしも「あの会は貯金口座だけど渡海しない」ということは成り立たないとすれば区別し易い
事実10: 「この繊維芽細胞は損なうけれど本件物件であるということはない」ということは間違いだ
事実11: もし仮になにがしかのものは出易くないとすれば「心強いかあるいは区別し易いかあるいはどちらもだ」ということは成り立たない
事実12: もしも「その幼児は鈍いけど賞味期限でない」ということは成り立たないならそれは瞠目する
事実13: 「あの会は炉体で茹で始める」ということは間違いだ

仮説: 「あの会は区別し易くない」ということは真実だ
1. 事実5と事実2から、仮説が否定される

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