このクロス集計表は納得し易い
fact1: 仮にあの横行が連接しないとすればこのクロス集計表はばあかしいしおまけに納得し易い fact2: もし仮にあの横行が納入しないし育ち合えるということはないならばあかしかない fact3: もしあの横行は納入する一方で闊歩しないならば連接しない fact4: あの横行は育ち合える fact5: もし仮にあの横行が連接しないとすればこのクロス集計表はばあかしい fact6: もしもあの舌乳頭が精神科救急だとしたらこの二時間扱いは消化吸収され易い fact7: もし仮に何かはばあかしいということはないがしかし連接するとすると納得し易くない fact8: 仮にあの横行が育ち合えるとしたら納入しない fact9: このクロス集計表は交流する fact10: もしも「何かは同語反復でないかもしくは育ち合えるかあるいは両方である」ということは成り立たないならばそれはばあかしかない fact11: 全てのものは精神科救急であるか対米関係であるかどちらもだ fact12: そのオーバーレイは育ち合える fact13: 「何かは首尾良いがそれは連接しない」ということは事実と異なるとしたらそれは連接する fact14: このクロス集計表は納入する fact15: 「あの横行は納入しない」ということは確かである fact16: このクロス集計表は切り分けないなら「それは首尾良いがしかし連接しない」ということは偽である fact17: もし仮になにがしかのものは納入するがしかし闊歩しないとすると連接しない fact18: このクロス集計表はばあかしい fact19: もし仮にあの横行が育ち合えるとすればそれは納入しなくて闊歩しない fact20: 仮に「この二時間扱いは消化吸収され易い」ということは本当であるならこのクロス集計表は消化吸収され易い fact21: もし仮にある物が納入しなくてそれが闊歩しないとすると連接しない fact22: なにがしかのものは消化吸収され易いならば「それは同語反復であるということはないか育ち合えるかあるいは両方ともである」ということは間違いだ
fact21 -> int1: あの横行は納入しないし闊歩しないとすればそれは連接しない; fact19 & fact4 -> int2: あの横行は納入しないしそれにそれは闊歩するということはない; int1 & int2 -> int3: あの横行は連接しない; int3 & fact1 -> int4: このクロス集計表はばあかしいし加えて納得し易い; int4 -> hypothesis;
「このクロス集計表は納得し易くない」ということは正しい
fact25 -> int5: もしこのクロス集計表はばあかしかないが連接するとしたらそれは納得し易くない; fact23 -> int6: 仮に「このクロス集計表は同語反復でないかもしくはそれは育ち合える」ということは成り立たないとするとばあかしいということはない; fact26 -> int7: 仮にこのクロス集計表は消化吸収され易いなら「同語反復でないかそれは育ち合える」ということは成り立たない; fact24 -> int8: あの舌乳頭は精神科救急であるかあるいは対米関係であるかもしくは両方ともである; fact28 -> int9: もしも「このクロス集計表は首尾良いが連接しない」ということは本当でないなら連接する;
$facts$ = fact1: 仮にあの横行が連接しないとすればこのクロス集計表はばあかしいしおまけに納得し易い fact2: もし仮にあの横行が納入しないし育ち合えるということはないならばあかしかない fact3: もしあの横行は納入する一方で闊歩しないならば連接しない fact4: あの横行は育ち合える fact5: もし仮にあの横行が連接しないとすればこのクロス集計表はばあかしい fact6: もしもあの舌乳頭が精神科救急だとしたらこの二時間扱いは消化吸収され易い fact7: もし仮に何かはばあかしいということはないがしかし連接するとすると納得し易くない fact8: 仮にあの横行が育ち合えるとしたら納入しない fact9: このクロス集計表は交流する fact10: もしも「何かは同語反復でないかもしくは育ち合えるかあるいは両方である」ということは成り立たないならばそれはばあかしかない fact11: 全てのものは精神科救急であるか対米関係であるかどちらもだ fact12: そのオーバーレイは育ち合える fact13: 「何かは首尾良いがそれは連接しない」ということは事実と異なるとしたらそれは連接する fact14: このクロス集計表は納入する fact15: 「あの横行は納入しない」ということは確かである fact16: このクロス集計表は切り分けないなら「それは首尾良いがしかし連接しない」ということは偽である fact17: もし仮になにがしかのものは納入するがしかし闊歩しないとすると連接しない fact18: このクロス集計表はばあかしい fact19: もし仮にあの横行が育ち合えるとすればそれは納入しなくて闊歩しない fact20: 仮に「この二時間扱いは消化吸収され易い」ということは本当であるならこのクロス集計表は消化吸収され易い fact21: もし仮にある物が納入しなくてそれが闊歩しないとすると連接しない fact22: なにがしかのものは消化吸収され易いならば「それは同語反復であるということはないか育ち合えるかあるいは両方ともである」ということは間違いだ ; $hypothesis$ = このクロス集計表は納得し易い ; $proof$ = 
fact21 -> int1: あの横行は納入しないし闊歩しないとすればそれは連接しない; fact19 & fact4 -> int2: あの横行は納入しないしそれにそれは闊歩するということはない; int1 & int2 -> int3: あの横行は連接しない; int3 & fact1 -> int4: このクロス集計表はばあかしいし加えて納得し易い; int4 -> hypothesis; __PROVED__
事実1: 仮にあの横行が連接しないとすればこのクロス集計表はばあかしいしおまけに納得し易い
事実2: もし仮にあの横行が納入しないし育ち合えるということはないならばあかしかない
事実3: もしあの横行は納入する一方で闊歩しないならば連接しない
事実4: あの横行は育ち合える
事実5: もし仮にあの横行が連接しないとすればこのクロス集計表はばあかしい
事実6: もしもあの舌乳頭が精神科救急だとしたらこの二時間扱いは消化吸収され易い
事実7: もし仮に何かはばあかしいということはないがしかし連接するとすると納得し易くない
事実8: 仮にあの横行が育ち合えるとしたら納入しない
事実9: このクロス集計表は交流する
事実10: もしも「何かは同語反復でないかもしくは育ち合えるかあるいは両方である」ということは成り立たないならばそれはばあかしかない
事実11: 全てのものは精神科救急であるか対米関係であるかどちらもだ
事実12: そのオーバーレイは育ち合える
事実13: 「何かは首尾良いがそれは連接しない」ということは事実と異なるとしたらそれは連接する
事実14: このクロス集計表は納入する
事実15: 「あの横行は納入しない」ということは確かである
事実16: このクロス集計表は切り分けないなら「それは首尾良いがしかし連接しない」ということは偽である
事実17: もし仮になにがしかのものは納入するがしかし闊歩しないとすると連接しない
事実18: このクロス集計表はばあかしい
事実19: もし仮にあの横行が育ち合えるとすればそれは納入しなくて闊歩しない
事実20: 仮に「この二時間扱いは消化吸収され易い」ということは本当であるならこのクロス集計表は消化吸収され易い
事実21: もし仮にある物が納入しなくてそれが闊歩しないとすると連接しない
事実22: なにがしかのものは消化吸収され易いならば「それは同語反復であるということはないか育ち合えるかあるいは両方ともである」ということは間違いだ

仮説: このクロス集計表は納得し易い
1. 事実21から、推論1: "あの横行は納入しないし闊歩しないとすればそれは連接しない"が導かれる
2. 事実19と事実4から、推論2: "あの横行は納入しないしそれにそれは闊歩するということはない"が導かれる
3. 推論1と推論2から、推論3: "あの横行は連接しない"が導かれる
4. 推論3と事実1から、推論4: "このクロス集計表はばあかしいし加えて納得し易い"が導かれる
5. 推論4から、仮説が導かれる

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