「あのレスリングは堪り易いけど軍人らしくない」ということは誤っている
fact1: もし仮に何らかのものは堪り易くないとすると「この算定方式は軍人らしい一方で十万以上でない」ということは真実である fact2: この算定方式は十万以上でない fact3: 仮に「十万以上でない」物があるとすればあのレスリングは堪り易い fact4: あのレスリングは堪り易い fact5: あるものは過半数組合でない fact6: もし仮に「この無限遠は参るがそれは伝来しない」ということは誤っているなら「それは結び合わせない」ということは本当である fact7: 仮にこの無限遠は軍人らしいとしたら「あの茶坊主は堪り易いけど十万以上でない」ということは成り立たない fact8: もし「「軍人らしくない」ということは本当である」物があるならばあのレスリングは堪り易い fact9: もし「十万以上でない」物があるとするとあのレスリングは堪り易いがしかしそれは軍人らしくない fact10: なんらかの物は軍人らしくない fact11: あの打たせ船は杏仁豆腐であるということはない fact12: もしも「十万以上でない」物があるとしたらこの算定方式は軍人らしい fact13: 仮にある物が広ーいとするとそれは軍人らしい fact14: もしも何かは結び合わせないなら「広ーいししかも作成ボタンだ」ということは確かだ fact15: 参るし伝来しないという物はない fact16: 「十万以上である」物はある fact17: 仮に「「堪り易いけど十万以上でない」ということは成り立たない」ものはあれば「あのレスリングは中国正州でない」ということは正しい
fact2 -> int1: 「十万以上でない」ものはある; int1 & fact9 -> hypothesis;
「「中国正州でない」ということは事実な」ものはある
fact20 -> int2: 仮にこの無限遠が広ーいとすればそれは軍人らしい; fact22 -> int3: もしこの無限遠が結び合わせないとしたらそれは広ーいしそれにそれは作成ボタンである; fact21 -> int4: 「この無限遠は参るけど伝来しない」ということは嘘である; fact23 & int4 -> int5: この無限遠は結び合わせない; int3 & int5 -> int6: この無限遠は広ーいし作成ボタンである; int6 -> int7: この無限遠は広ーい; int2 & int7 -> int8: この無限遠は軍人らしい; fact19 & int8 -> int9: 「あの茶坊主は堪り易い一方で十万以上でない」ということは誤りだ; int9 -> int10: 「「堪り易いが十万以上でない」ということは嘘である」ものはある; int10 & fact18 -> int11: 「あのレスリングは中国正州でない」ということは真実だ; int11 -> hypothesis;
$facts$ = fact1: もし仮に何らかのものは堪り易くないとすると「この算定方式は軍人らしい一方で十万以上でない」ということは真実である fact2: この算定方式は十万以上でない fact3: 仮に「十万以上でない」物があるとすればあのレスリングは堪り易い fact4: あのレスリングは堪り易い fact5: あるものは過半数組合でない fact6: もし仮に「この無限遠は参るがそれは伝来しない」ということは誤っているなら「それは結び合わせない」ということは本当である fact7: 仮にこの無限遠は軍人らしいとしたら「あの茶坊主は堪り易いけど十万以上でない」ということは成り立たない fact8: もし「「軍人らしくない」ということは本当である」物があるならばあのレスリングは堪り易い fact9: もし「十万以上でない」物があるとするとあのレスリングは堪り易いがしかしそれは軍人らしくない fact10: なんらかの物は軍人らしくない fact11: あの打たせ船は杏仁豆腐であるということはない fact12: もしも「十万以上でない」物があるとしたらこの算定方式は軍人らしい fact13: 仮にある物が広ーいとするとそれは軍人らしい fact14: もしも何かは結び合わせないなら「広ーいししかも作成ボタンだ」ということは確かだ fact15: 参るし伝来しないという物はない fact16: 「十万以上である」物はある fact17: 仮に「「堪り易いけど十万以上でない」ということは成り立たない」ものはあれば「あのレスリングは中国正州でない」ということは正しい ; $hypothesis$ = 「あのレスリングは堪り易いけど軍人らしくない」ということは誤っている ; $proof$ = 
fact2 -> int1: 「十万以上でない」ものはある; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかのものは堪り易くないとすると「この算定方式は軍人らしい一方で十万以上でない」ということは真実である
事実2: この算定方式は十万以上でない
事実3: 仮に「十万以上でない」物があるとすればあのレスリングは堪り易い
事実4: あのレスリングは堪り易い
事実5: あるものは過半数組合でない
事実6: もし仮に「この無限遠は参るがそれは伝来しない」ということは誤っているなら「それは結び合わせない」ということは本当である
事実7: 仮にこの無限遠は軍人らしいとしたら「あの茶坊主は堪り易いけど十万以上でない」ということは成り立たない
事実8: もし「「軍人らしくない」ということは本当である」物があるならばあのレスリングは堪り易い
事実9: もし「十万以上でない」物があるとするとあのレスリングは堪り易いがしかしそれは軍人らしくない
事実10: なんらかの物は軍人らしくない
事実11: あの打たせ船は杏仁豆腐であるということはない
事実12: もしも「十万以上でない」物があるとしたらこの算定方式は軍人らしい
事実13: 仮にある物が広ーいとするとそれは軍人らしい
事実14: もしも何かは結び合わせないなら「広ーいししかも作成ボタンだ」ということは確かだ
事実15: 参るし伝来しないという物はない
事実16: 「十万以上である」物はある
事実17: 仮に「「堪り易いけど十万以上でない」ということは成り立たない」ものはあれば「あのレスリングは中国正州でない」ということは正しい

仮説: 「あのレスリングは堪り易いけど軍人らしくない」ということは誤っている
1. 事実2から、推論1: "「十万以上でない」ものはある"が導かれる
2. 推論1と事実9から、仮説が否定される

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