その小穿通孔は入国する
fact1: その断ち方は転び易いかあるいはそれは右前輪でないかあるいはどちらもだ fact2: 仮にとある物は煙るしまた荒いとすればそれは入国しない fact3: もしあの養護施設がモアであるとすればあの古民家は吹き返す fact4: 仮にこの事情変更が古いということはないならばあの小穿通孔は煙るかまたは荒くないかまたはどちらもだ fact5: 「もし仮にこの事情変更が吹き返さないかまたは古いかもしくはどちらもだとすればその小穿通孔は古い」ということは成り立つ fact6: もしあの古民家が吹き返すとするとそれは育て上げないしその上古い fact7: 仮にその小穿通孔が煙れば吹き返す fact8: 仮にその断ち方が転び易くないとしたらその小穿通孔は煙る fact9: もし仮にあの古民家が育て上げない一方で古いとすればこの事情変更は古くない fact10: もし何らかの物は右前輪でないならば入国するし加えて転び易い fact11: もしとある物が古いとするとそれは荒い fact12: どれもこれもは転び易いということはないかあるいはそれは右前輪であるということはないかもしくは両方である fact13: 「その断ち方は転び易くないか右前輪でないかまたは両方である」ということは本当であるならばその小穿通孔は煙る fact14: その断ち方は煙る fact15: この事情変更は吹き返さないかもしくは古いか両方である fact16: 「このＢＡＳＳは荒いかそれは中央情報部だ」ということは成り立つ
fact12 -> int1: その断ち方は転び易くないかまたはそれは右前輪でないかどちらもである; int1 & fact13 -> int2: その小穿通孔は煙る; fact5 & fact15 -> int3: その小穿通孔は古い; fact11 -> int4: もしもその小穿通孔は古いとすれば「それは荒い」ということは本当である; int3 & int4 -> int5: その小穿通孔は荒い; int2 & int5 -> int6: その小穿通孔は煙るしそれに荒い; fact2 -> int7: その小穿通孔が煙るしかつそれが荒いとすればそれは入国しない; int6 & int7 -> hypothesis;
その小穿通孔は入国する
fact19 -> int8: 仮にその小穿通孔が右前輪でないならそれは入国するしそれは転び易い;
$facts$ = fact1: その断ち方は転び易いかあるいはそれは右前輪でないかあるいはどちらもだ fact2: 仮にとある物は煙るしまた荒いとすればそれは入国しない fact3: もしあの養護施設がモアであるとすればあの古民家は吹き返す fact4: 仮にこの事情変更が古いということはないならばあの小穿通孔は煙るかまたは荒くないかまたはどちらもだ fact5: 「もし仮にこの事情変更が吹き返さないかまたは古いかもしくはどちらもだとすればその小穿通孔は古い」ということは成り立つ fact6: もしあの古民家が吹き返すとするとそれは育て上げないしその上古い fact7: 仮にその小穿通孔が煙れば吹き返す fact8: 仮にその断ち方が転び易くないとしたらその小穿通孔は煙る fact9: もし仮にあの古民家が育て上げない一方で古いとすればこの事情変更は古くない fact10: もし何らかの物は右前輪でないならば入国するし加えて転び易い fact11: もしとある物が古いとするとそれは荒い fact12: どれもこれもは転び易いということはないかあるいはそれは右前輪であるということはないかもしくは両方である fact13: 「その断ち方は転び易くないか右前輪でないかまたは両方である」ということは本当であるならばその小穿通孔は煙る fact14: その断ち方は煙る fact15: この事情変更は吹き返さないかもしくは古いか両方である fact16: 「このＢＡＳＳは荒いかそれは中央情報部だ」ということは成り立つ ; $hypothesis$ = その小穿通孔は入国する ; $proof$ = 
fact12 -> int1: その断ち方は転び易くないかまたはそれは右前輪でないかどちらもである; int1 & fact13 -> int2: その小穿通孔は煙る; fact5 & fact15 -> int3: その小穿通孔は古い; fact11 -> int4: もしもその小穿通孔は古いとすれば「それは荒い」ということは本当である; int3 & int4 -> int5: その小穿通孔は荒い; int2 & int5 -> int6: その小穿通孔は煙るしそれに荒い; fact2 -> int7: その小穿通孔が煙るしかつそれが荒いとすればそれは入国しない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: その断ち方は転び易いかあるいはそれは右前輪でないかあるいはどちらもだ
事実2: 仮にとある物は煙るしまた荒いとすればそれは入国しない
事実3: もしあの養護施設がモアであるとすればあの古民家は吹き返す
事実4: 仮にこの事情変更が古いということはないならばあの小穿通孔は煙るかまたは荒くないかまたはどちらもだ
事実5: 「もし仮にこの事情変更が吹き返さないかまたは古いかもしくはどちらもだとすればその小穿通孔は古い」ということは成り立つ
事実6: もしあの古民家が吹き返すとするとそれは育て上げないしその上古い
事実7: 仮にその小穿通孔が煙れば吹き返す
事実8: 仮にその断ち方が転び易くないとしたらその小穿通孔は煙る
事実9: もし仮にあの古民家が育て上げない一方で古いとすればこの事情変更は古くない
事実10: もし何らかの物は右前輪でないならば入国するし加えて転び易い
事実11: もしとある物が古いとするとそれは荒い
事実12: どれもこれもは転び易いということはないかあるいはそれは右前輪であるということはないかもしくは両方である
事実13: 「その断ち方は転び易くないか右前輪でないかまたは両方である」ということは本当であるならばその小穿通孔は煙る
事実14: その断ち方は煙る
事実15: この事情変更は吹き返さないかもしくは古いか両方である
事実16: 「このＢＡＳＳは荒いかそれは中央情報部だ」ということは成り立つ

仮説: その小穿通孔は入国する
1. 事実12から、推論1: "その断ち方は転び易くないかまたはそれは右前輪でないかどちらもである"が導かれる
2. 推論1と事実13から、推論2: "その小穿通孔は煙る"が導かれる
3. 事実5と事実15から、推論3: "その小穿通孔は古い"が導かれる
4. 事実11から、推論4: "もしもその小穿通孔は古いとすれば「それは荒い」ということは本当である"が導かれる
5. 推論3と推論4から、推論5: "その小穿通孔は荒い"が導かれる
6. 推論2と推論5から、推論6: "その小穿通孔は煙るしそれに荒い"が導かれる
7. 事実2から、推論7: "その小穿通孔が煙るしかつそれが荒いとすればそれは入国しない"が導かれる
8. 推論6と推論7から、仮説が否定される

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