この松虫は事後重症でない
fact1: あの神道無念流は事後重症であるかそれは白み掛ける fact2: もしもあの神道無念流は重力モデルであるなら「この松虫は事後重症である」ということは本当である fact3: もし仮にこの松虫が白み掛けるとしたらあの神道無念流は重力モデルだ fact4: もしもこの松虫が白み掛ければあの神道無念流は事後重症である fact5: あの神道無念流が重力モデルだとするとこの松虫は白み掛ける fact6: もしもあの神道無念流が事後重症であるならこの松虫は木造・彩色だ fact7: あの神道無念流は白み掛けるかあるいは重力モデルである fact8: 仮にあの神道無念流は事後重症だとしたら「この松虫は老年人口だ」ということは事実である fact9: もしもあの神道無念流が事後重症であるならこの松虫は重力モデルだ fact10: あの神道無念流は呼び付けるかもしくは行ツであるか両方ともだ fact11: もしもこの松虫が重力モデルだとするとあの神道無念流は事後重症である fact12: この松虫は重力モデルだ fact13: もし「あの神道無念流は白み掛ける」ということは真実であるならばあの松虫は事後重症である
fact7 & fact13 & fact2 -> hypothesis;
fact7 & fact13 & fact2 -> hypothesis;
$facts$ = fact1: あの神道無念流は事後重症であるかそれは白み掛ける fact2: もしもあの神道無念流は重力モデルであるなら「この松虫は事後重症である」ということは本当である fact3: もし仮にこの松虫が白み掛けるとしたらあの神道無念流は重力モデルだ fact4: もしもこの松虫が白み掛ければあの神道無念流は事後重症である fact5: あの神道無念流が重力モデルだとするとこの松虫は白み掛ける fact6: もしもあの神道無念流が事後重症であるならこの松虫は木造・彩色だ fact7: あの神道無念流は白み掛けるかあるいは重力モデルである fact8: 仮にあの神道無念流は事後重症だとしたら「この松虫は老年人口だ」ということは事実である fact9: もしもあの神道無念流が事後重症であるならこの松虫は重力モデルだ fact10: あの神道無念流は呼び付けるかもしくは行ツであるか両方ともだ fact11: もしもこの松虫が重力モデルだとするとあの神道無念流は事後重症である fact12: この松虫は重力モデルだ fact13: もし「あの神道無念流は白み掛ける」ということは真実であるならばあの松虫は事後重症である ; $hypothesis$ = この松虫は事後重症でない ; $proof$ = 
fact7 & fact13 & fact2 -> hypothesis; __DISPROVED__
事実1: あの神道無念流は事後重症であるかそれは白み掛ける
事実2: もしもあの神道無念流は重力モデルであるなら「この松虫は事後重症である」ということは本当である
事実3: もし仮にこの松虫が白み掛けるとしたらあの神道無念流は重力モデルだ
事実4: もしもこの松虫が白み掛ければあの神道無念流は事後重症である
事実5: あの神道無念流が重力モデルだとするとこの松虫は白み掛ける
事実6: もしもあの神道無念流が事後重症であるならこの松虫は木造・彩色だ
事実7: あの神道無念流は白み掛けるかあるいは重力モデルである
事実8: 仮にあの神道無念流は事後重症だとしたら「この松虫は老年人口だ」ということは事実である
事実9: もしもあの神道無念流が事後重症であるならこの松虫は重力モデルだ
事実10: あの神道無念流は呼び付けるかもしくは行ツであるか両方ともだ
事実11: もしもこの松虫が重力モデルだとするとあの神道無念流は事後重症である
事実12: この松虫は重力モデルだ
事実13: もし「あの神道無念流は白み掛ける」ということは真実であるならばあの松虫は事後重症である

仮説: この松虫は事後重症でない
1. 事実7と事実13と事実2から、仮説が否定される

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