あの賛意は畳まないしかつ目敏いということはない
fact1: 「その内火艇は起こし難い」ということは確かだ fact2: 仮にその親御は侍だとしたら「それは馬鹿馬鹿しい」ということは成り立つ fact3: 仮に馬鹿馬鹿しい物は項でないとすると「その英語以外は目敏いということはない」ということは事実だ fact4: もし仮にその内火艇が起こし難いとすればその親御は浸るがしかしそれは地域調整手当てでない fact5: すべてのものは侍である fact6: その親御は把握し易いが畳むということはない fact7: 仮にあの賛意が畳むならその親御は項だけれど起こし難くない fact8: もしもその英語以外が目敏くないならあの賛意は畳まないしそれは目敏くない fact9: もし何らかのものは浸る一方で地域調整手当てでないならば項でない fact10: その内火艇は畳むということはない
fact4 & fact1 -> int1: その親御は浸るけど地域調整手当てでない; fact9 -> int2: その親御が浸るけれどそれが地域調整手当てでないとすれば項でない; int1 & int2 -> int3: その親御は項だということはない; fact5 -> int4: その親御は侍だ; fact2 & int4 -> int5: その親御は馬鹿馬鹿しい; int3 & int5 -> int6: その親御は馬鹿馬鹿しいけれど項でない; int6 -> int7: 「馬鹿馬鹿しいけれど項でない」ものはある; int7 & fact3 -> int8: その英語以外は目敏くない; int8 & fact8 -> hypothesis;
$facts$ = fact1: 「その内火艇は起こし難い」ということは確かだ fact2: 仮にその親御は侍だとしたら「それは馬鹿馬鹿しい」ということは成り立つ fact3: 仮に馬鹿馬鹿しい物は項でないとすると「その英語以外は目敏いということはない」ということは事実だ fact4: もし仮にその内火艇が起こし難いとすればその親御は浸るがしかしそれは地域調整手当てでない fact5: すべてのものは侍である fact6: その親御は把握し易いが畳むということはない fact7: 仮にあの賛意が畳むならその親御は項だけれど起こし難くない fact8: もしもその英語以外が目敏くないならあの賛意は畳まないしそれは目敏くない fact9: もし何らかのものは浸る一方で地域調整手当てでないならば項でない fact10: その内火艇は畳むということはない ; $hypothesis$ = あの賛意は畳まないしかつ目敏いということはない ; $proof$ = 
fact4 & fact1 -> int1: その親御は浸るけど地域調整手当てでない; fact9 -> int2: その親御が浸るけれどそれが地域調整手当てでないとすれば項でない; int1 & int2 -> int3: その親御は項だということはない; fact5 -> int4: その親御は侍だ; fact2 & int4 -> int5: その親御は馬鹿馬鹿しい; int3 & int5 -> int6: その親御は馬鹿馬鹿しいけれど項でない; int6 -> int7: 「馬鹿馬鹿しいけれど項でない」ものはある; int7 & fact3 -> int8: その英語以外は目敏くない; int8 & fact8 -> hypothesis; __PROVED__
事実1: 「その内火艇は起こし難い」ということは確かだ
事実2: 仮にその親御は侍だとしたら「それは馬鹿馬鹿しい」ということは成り立つ
事実3: 仮に馬鹿馬鹿しい物は項でないとすると「その英語以外は目敏いということはない」ということは事実だ
事実4: もし仮にその内火艇が起こし難いとすればその親御は浸るがしかしそれは地域調整手当てでない
事実5: すべてのものは侍である
事実6: その親御は把握し易いが畳むということはない
事実7: 仮にあの賛意が畳むならその親御は項だけれど起こし難くない
事実8: もしもその英語以外が目敏くないならあの賛意は畳まないしそれは目敏くない
事実9: もし何らかのものは浸る一方で地域調整手当てでないならば項でない
事実10: その内火艇は畳むということはない

仮説: あの賛意は畳まないしかつ目敏いということはない
1. 事実4と事実1から、推論1: "その親御は浸るけど地域調整手当てでない"が導かれる
2. 事実9から、推論2: "その親御が浸るけれどそれが地域調整手当てでないとすれば項でない"が導かれる
3. 推論1と推論2から、推論3: "その親御は項だということはない"が導かれる
4. 事実5から、推論4: "その親御は侍だ"が導かれる
5. 事実2と推論4から、推論5: "その親御は馬鹿馬鹿しい"が導かれる
6. 推論3と推論5から、推論6: "その親御は馬鹿馬鹿しいけれど項でない"が導かれる
7. 推論6から、推論7: "「馬鹿馬鹿しいけれど項でない」ものはある"が導かれる
8. 推論7と事実3から、推論8: "その英語以外は目敏くない"が導かれる
9. 推論8と事実8から、仮説が導かれる

よって、仮説が証明されました。