あの主夫は鋭端部であるということはない
fact1: この収公は鋭端部である fact2: その履帯式は鋭端部である fact3: その元陸軍大佐は鋭端部である fact4: 「あの主夫はアウトプットだ」ということは確かである fact5: あの顧客吸引力は鋭端部である fact6: あの林檎酢は純粋種である fact7: もし仮になにがしかの物がびびらないとすれば賠償するけれど諸相でない fact8: あの主夫は軍人勅諭だ fact9: もしなにがしかのものが電送しないならびびらない fact10: 仮になんらかの物は純粋種だとしたら「それは中心気圧であるけどひょろ長くない」ということは成り立たない fact11: 「あの主夫は納車する」ということは真実だ fact12: もし仮に「何かは余儀無くないし諸相でない」ということは間違っているとすればそれは鋭端部でない fact13: あの林檎酢が賠償するがしかしそれが諸相でないとすればあの主夫は余儀無くない fact14: もし仮に「何かは中心気圧であるけれどひょろ長いということはない」ということは成り立たないとしたらそれは電送しない fact15: あの主夫は鋭端部だ
fact15 -> hypothesis;
fact15 -> hypothesis;
あの四分四拍子は鋭端部である
fact18 -> int1: もしもあの林檎酢がびびらないとしたらそれは賠償する一方で諸相でない; fact16 -> int2: もしもあの林檎酢が電送しないならばそれはびびらない; fact17 -> int3: 「あの林檎酢は中心気圧だがそれはひょろ長くない」ということは成り立たないとすると電送するということはない; fact21 -> int4: もしもあの林檎酢は純粋種であるとしたら「中心気圧である一方でひょろ長くない」ということは事実と異なる; int4 & fact19 -> int5: 「あの林檎酢は中心気圧である一方でひょろ長くない」ということは成り立たない; int3 & int5 -> int6: あの林檎酢は電送しない; int2 & int6 -> int7: あの林檎酢はびびらない; int1 & int7 -> int8: あの林檎酢は賠償するがしかし諸相でない; fact20 & int8 -> int9: あの主夫は余儀無いということはない; int9 -> int10: 「余儀無くない」ものはある;
$facts$ = fact1: この収公は鋭端部である fact2: その履帯式は鋭端部である fact3: その元陸軍大佐は鋭端部である fact4: 「あの主夫はアウトプットだ」ということは確かである fact5: あの顧客吸引力は鋭端部である fact6: あの林檎酢は純粋種である fact7: もし仮になにがしかの物がびびらないとすれば賠償するけれど諸相でない fact8: あの主夫は軍人勅諭だ fact9: もしなにがしかのものが電送しないならびびらない fact10: 仮になんらかの物は純粋種だとしたら「それは中心気圧であるけどひょろ長くない」ということは成り立たない fact11: 「あの主夫は納車する」ということは真実だ fact12: もし仮に「何かは余儀無くないし諸相でない」ということは間違っているとすればそれは鋭端部でない fact13: あの林檎酢が賠償するがしかしそれが諸相でないとすればあの主夫は余儀無くない fact14: もし仮に「何かは中心気圧であるけれどひょろ長いということはない」ということは成り立たないとしたらそれは電送しない fact15: あの主夫は鋭端部だ ; $hypothesis$ = あの主夫は鋭端部であるということはない ; $proof$ = 
fact15 -> hypothesis; __DISPROVED__
事実1: この収公は鋭端部である
事実2: その履帯式は鋭端部である
事実3: その元陸軍大佐は鋭端部である
事実4: 「あの主夫はアウトプットだ」ということは確かである
事実5: あの顧客吸引力は鋭端部である
事実6: あの林檎酢は純粋種である
事実7: もし仮になにがしかの物がびびらないとすれば賠償するけれど諸相でない
事実8: あの主夫は軍人勅諭だ
事実9: もしなにがしかのものが電送しないならびびらない
事実10: 仮になんらかの物は純粋種だとしたら「それは中心気圧であるけどひょろ長くない」ということは成り立たない
事実11: 「あの主夫は納車する」ということは真実だ
事実12: もし仮に「何かは余儀無くないし諸相でない」ということは間違っているとすればそれは鋭端部でない
事実13: あの林檎酢が賠償するがしかしそれが諸相でないとすればあの主夫は余儀無くない
事実14: もし仮に「何かは中心気圧であるけれどひょろ長いということはない」ということは成り立たないとしたらそれは電送しない
事実15: あの主夫は鋭端部だ

仮説: あの主夫は鋭端部であるということはない
1. 事実15から、仮説が否定される

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