その集合は通算しない
fact1: もしもなにがしかのものは叩き割るということはないとすれば「賜わるということはないし恨めしくない」ということは正しくない fact2: この川中美幸特別公演は抜け出す fact3: 仮に「その十．二以降は書き難くない」ということは事実であるとすればあの老年期鬱病は書き難くない fact4: もしもあの老年期鬱病が書き難くないとすればあの武相荘は叩き割らない fact5: あの事業手法が賜わるとすると惑う fact6: この川中美幸特別公演が子供っぽいとするとあの事業手法は書き留める fact7: もしその十．二以降は煩わせれば「履かなくてかつ書き難い」ということは間違いである fact8: もしなんらかのものが惑うならそれは雄蜂でない fact9: とある物は雄蜂でないとすると通算する fact10: この川中美幸特別公演は抜け出すししかも子供っぽい fact11: もしも「その十．二以降は履かないけどそれは書き難い」ということは成り立たないとすれば書き難くない fact12: 「「賜わらなくて恨めしくない」ということは偽な」ものがあるとすればあの精子数は賜わる fact13: もし「その精子数は雄蜂でない」ということは真実ならば「あの事業手法は書き留めるしまた子供っぽい」ということは事実と異なる fact14: もしもなんらかの物が賜わるとしたら惑うし雄蜂でない fact15: その十．二以降は煩わせる fact16: もしあの事業手法は書き留めるとすると「その集合は通算する」ということは事実だ fact17: この川中美幸特別公演はばつ一だ fact18: 「その集合は子供っぽい」ということは確かである fact19: もしあの事業手法は通算するとしたら「この川中美幸特別公演は子供っぽいかもしくはそれは抜け出さない」ということは偽である
fact10 -> int1: この川中美幸特別公演は子供っぽい; int1 & fact6 -> int2: あの事業手法は書き留める; int2 & fact16 -> hypothesis;
その集合は通算しない
fact22 -> int3: その精子数が賜わるなら惑うけれど雄蜂でない; fact26 -> int4: もし仮にその武相荘は叩き割らないとしたら「賜わらなくて更に恨めしくない」ということは誤りだ; fact20 & fact24 -> int5: 「その十．二以降は履くということはないがそれは書き難い」ということは間違いである; fact25 & int5 -> int6: その十．二以降は書き難くない; fact23 & int6 -> int7: 「「あの老年期鬱病は書き難い」ということは成り立つ」ということは正しくない; fact27 & int7 -> int8: その武相荘は叩き割らない; int4 & int8 -> int9: 「その武相荘は賜わるということはないしおまけに恨めしくない」ということは誤りだ; int9 -> int10: 「「「賜わらないしかつ恨めしくない」ということは事実と異ならない」ということは間違っている」ものはある; int10 & fact28 -> int11: その精子数は賜わる; int3 & int11 -> int12: その精子数は惑うけれど雄蜂でない; int12 -> int13: その精子数は雄蜂でない; fact21 & int13 -> int14: 「あの事業手法は書き留めるし加えて子供っぽい」ということは確かであるということはない; int14 -> int15: 「「書き留めるし子供っぽい」ということは成り立たない」物はある;
$facts$ = fact1: もしもなにがしかのものは叩き割るということはないとすれば「賜わるということはないし恨めしくない」ということは正しくない fact2: この川中美幸特別公演は抜け出す fact3: 仮に「その十．二以降は書き難くない」ということは事実であるとすればあの老年期鬱病は書き難くない fact4: もしもあの老年期鬱病が書き難くないとすればあの武相荘は叩き割らない fact5: あの事業手法が賜わるとすると惑う fact6: この川中美幸特別公演が子供っぽいとするとあの事業手法は書き留める fact7: もしその十．二以降は煩わせれば「履かなくてかつ書き難い」ということは間違いである fact8: もしなんらかのものが惑うならそれは雄蜂でない fact9: とある物は雄蜂でないとすると通算する fact10: この川中美幸特別公演は抜け出すししかも子供っぽい fact11: もしも「その十．二以降は履かないけどそれは書き難い」ということは成り立たないとすれば書き難くない fact12: 「「賜わらなくて恨めしくない」ということは偽な」ものがあるとすればあの精子数は賜わる fact13: もし「その精子数は雄蜂でない」ということは真実ならば「あの事業手法は書き留めるしまた子供っぽい」ということは事実と異なる fact14: もしもなんらかの物が賜わるとしたら惑うし雄蜂でない fact15: その十．二以降は煩わせる fact16: もしあの事業手法は書き留めるとすると「その集合は通算する」ということは事実だ fact17: この川中美幸特別公演はばつ一だ fact18: 「その集合は子供っぽい」ということは確かである fact19: もしあの事業手法は通算するとしたら「この川中美幸特別公演は子供っぽいかもしくはそれは抜け出さない」ということは偽である ; $hypothesis$ = その集合は通算しない ; $proof$ = 
fact10 -> int1: この川中美幸特別公演は子供っぽい; int1 & fact6 -> int2: あの事業手法は書き留める; int2 & fact16 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかのものは叩き割るということはないとすれば「賜わるということはないし恨めしくない」ということは正しくない
事実2: この川中美幸特別公演は抜け出す
事実3: 仮に「その十．二以降は書き難くない」ということは事実であるとすればあの老年期鬱病は書き難くない
事実4: もしもあの老年期鬱病が書き難くないとすればあの武相荘は叩き割らない
事実5: あの事業手法が賜わるとすると惑う
事実6: この川中美幸特別公演が子供っぽいとするとあの事業手法は書き留める
事実7: もしその十．二以降は煩わせれば「履かなくてかつ書き難い」ということは間違いである
事実8: もしなんらかのものが惑うならそれは雄蜂でない
事実9: とある物は雄蜂でないとすると通算する
事実10: この川中美幸特別公演は抜け出すししかも子供っぽい
事実11: もしも「その十．二以降は履かないけどそれは書き難い」ということは成り立たないとすれば書き難くない
事実12: 「「賜わらなくて恨めしくない」ということは偽な」ものがあるとすればあの精子数は賜わる
事実13: もし「その精子数は雄蜂でない」ということは真実ならば「あの事業手法は書き留めるしまた子供っぽい」ということは事実と異なる
事実14: もしもなんらかの物が賜わるとしたら惑うし雄蜂でない
事実15: その十．二以降は煩わせる
事実16: もしあの事業手法は書き留めるとすると「その集合は通算する」ということは事実だ
事実17: この川中美幸特別公演はばつ一だ
事実18: 「その集合は子供っぽい」ということは確かである
事実19: もしあの事業手法は通算するとしたら「この川中美幸特別公演は子供っぽいかもしくはそれは抜け出さない」ということは偽である

仮説: その集合は通算しない
1. 事実10から、推論1: "この川中美幸特別公演は子供っぽい"が導かれる
2. 推論1と事実6から、推論2: "あの事業手法は書き留める"が導かれる
3. 推論2と事実16から、仮説が否定される

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