その収穫は閉口しない
fact1: もし仮に「とあるものは倒れるがしかし記録しない」ということは事実であるということはないならそれは閉口しない fact2: もしとあるものは伝わり易いなら「その収穫は倒れるが記録しない」ということは成り立たない fact3: その収穫が記録するとしたら閉口しない fact4: 仮にこの私共一人一人が記録するとするとその食品業界は倒れる fact5: 伝わり易い物はある fact6: もしもあの過半数組合が引っぱたくとしたらこの私共一人一人は記録する fact7: 仮にあの過半数組合は公然猥褻罪であるならそれは連作するということはない fact8: もしもこの資産運用ビジネスが伝わり易いならその収穫は閉口する fact9: 「あのワイルドシャウトは食べ易いがしかしそれは倒れない」ということは確かであるということはない fact10: もしもその食品業界が倒れるとすればこの資産運用ビジネスは倒れる fact11: 「その北岸は補助動力装置で述べ始める」ということは間違いだ fact12: もし「ある物は公然猥褻罪であるということはなくてかつＣＶ調査でない」ということは成り立たないなら「それは公然猥褻罪だ」ということは事実である fact13: とある物が連作しないとすれば安堵し難くて加えて引っぱたく fact14: もしも「何らかの物は安堵し難い一方でそれは送付しない」ということは成り立たないとするとそれは冬型でない
fact5 & fact2 -> int1: 「その収穫は倒れるがそれは記録しない」ということは事実と異なる; fact1 -> int2: もしも「「その収穫は倒れるけど記録しない」ということは確かである」ということは成り立たないならばそれは閉口しない; int1 & int2 -> hypothesis;
fact5 & fact2 -> int1: ¬({B}{a} & ¬{C}{a}); fact1 -> int2: ¬({B}{a} & ¬{C}{a}) -> ¬{D}{a}; int1 & int2 -> hypothesis;
「その収穫は閉口する」ということは成り立つ
fact19 -> int3: もしあの過半数組合が連作しないとしたらそれは安堵し難くて引っぱたく; fact18 -> int4: もしも「あの過半数組合は公然猥褻罪でないしおまけにそれはＣＶ調査でない」ということは誤りであるとすると「それは公然猥褻罪だ」ということは真実だ;
$facts$ = fact1: もし仮に「とあるものは倒れるがしかし記録しない」ということは事実であるということはないならそれは閉口しない fact2: もしとあるものは伝わり易いなら「その収穫は倒れるが記録しない」ということは成り立たない fact3: その収穫が記録するとしたら閉口しない fact4: 仮にこの私共一人一人が記録するとするとその食品業界は倒れる fact5: 伝わり易い物はある fact6: もしもあの過半数組合が引っぱたくとしたらこの私共一人一人は記録する fact7: 仮にあの過半数組合は公然猥褻罪であるならそれは連作するということはない fact8: もしもこの資産運用ビジネスが伝わり易いならその収穫は閉口する fact9: 「あのワイルドシャウトは食べ易いがしかしそれは倒れない」ということは確かであるということはない fact10: もしもその食品業界が倒れるとすればこの資産運用ビジネスは倒れる fact11: 「その北岸は補助動力装置で述べ始める」ということは間違いだ fact12: もし「ある物は公然猥褻罪であるということはなくてかつＣＶ調査でない」ということは成り立たないなら「それは公然猥褻罪だ」ということは事実である fact13: とある物が連作しないとすれば安堵し難くて加えて引っぱたく fact14: もしも「何らかの物は安堵し難い一方でそれは送付しない」ということは成り立たないとするとそれは冬型でない ; $hypothesis$ = その収穫は閉口しない ; $proof$ = 
fact5 & fact2 -> int1: 「その収穫は倒れるがそれは記録しない」ということは事実と異なる; fact1 -> int2: もしも「「その収穫は倒れるけど記録しない」ということは確かである」ということは成り立たないならばそれは閉口しない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮に「とあるものは倒れるがしかし記録しない」ということは事実であるということはないならそれは閉口しない
事実2: もしとあるものは伝わり易いなら「その収穫は倒れるが記録しない」ということは成り立たない
事実3: その収穫が記録するとしたら閉口しない
事実4: 仮にこの私共一人一人が記録するとするとその食品業界は倒れる
事実5: 伝わり易い物はある
事実6: もしもあの過半数組合が引っぱたくとしたらこの私共一人一人は記録する
事実7: 仮にあの過半数組合は公然猥褻罪であるならそれは連作するということはない
事実8: もしもこの資産運用ビジネスが伝わり易いならその収穫は閉口する
事実9: 「あのワイルドシャウトは食べ易いがしかしそれは倒れない」ということは確かであるということはない
事実10: もしもその食品業界が倒れるとすればこの資産運用ビジネスは倒れる
事実11: 「その北岸は補助動力装置で述べ始める」ということは間違いだ
事実12: もし「ある物は公然猥褻罪であるということはなくてかつＣＶ調査でない」ということは成り立たないなら「それは公然猥褻罪だ」ということは事実である
事実13: とある物が連作しないとすれば安堵し難くて加えて引っぱたく
事実14: もしも「何らかの物は安堵し難い一方でそれは送付しない」ということは成り立たないとするとそれは冬型でない

仮説: その収穫は閉口しない
1. 事実5と事実2から、推論1: "「その収穫は倒れるがそれは記録しない」ということは事実と異なる"が導かれる
2. 事実1から、推論2: "もしも「「その収穫は倒れるけど記録しない」ということは確かである」ということは成り立たないならばそれは閉口しない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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