「何らかの物は飛び交わない」ということは成り立たない
fact1: 仮にあの到着時間は処分等であるならば「それは飛び交わない」ということは事実である fact2: 招き易い物は話し易い fact3: あの到着時間は交換出来ない fact4: もしなにかは交換出来ないがしかし壊れ難いとするとそれは有事法案だ fact5: もし仮になにがしかの物は交換出来るししかも壊れ難いとすると有事法案である fact6: 「処分等は飛び交わない」ということは成り立つ fact7: すべての物は交換出来るということはない fact8: どれもこれもは交換出来ないししかも壊れ難い fact9: もしもある物は有事法案だとすると「それは招き易い」ということは成り立つ fact10: 仮にあるものは話し易いかまたは処分等だとするとそれは飛び交わない fact11: もしもあの到着時間は交換出来るししかも壊れ難いならば有事法案だ
fact4 -> int1: もしもあの到着時間が交換出来ないがしかしそれが壊れ難いとしたらそれは有事法案だ; fact8 -> int2: あの到着時間は交換出来ないけれどそれは壊れ難い; int1 & int2 -> int3: あの到着時間は有事法案だ; fact9 -> int4: もし仮にあの到着時間が有事法案だとするとそれは招き易い; int3 & int4 -> int5: あの到着時間は招き易い; fact2 -> int6: もしあの到着時間は招き易いとすると「それは話し易い」ということは成り立つ; int5 & int6 -> int7: あの到着時間は話し易い; int7 -> int8: あの到着時間は話し易いかもしくは処分等であるかあるいは両方ともである; fact10 -> int9: もし仮にあの到着時間は話し易いかもしくは処分等だとしたら飛び交わない; int8 & int9 -> int10: あの到着時間は飛び交わない; int10 -> hypothesis;
$facts$ = fact1: 仮にあの到着時間は処分等であるならば「それは飛び交わない」ということは事実である fact2: 招き易い物は話し易い fact3: あの到着時間は交換出来ない fact4: もしなにかは交換出来ないがしかし壊れ難いとするとそれは有事法案だ fact5: もし仮になにがしかの物は交換出来るししかも壊れ難いとすると有事法案である fact6: 「処分等は飛び交わない」ということは成り立つ fact7: すべての物は交換出来るということはない fact8: どれもこれもは交換出来ないししかも壊れ難い fact9: もしもある物は有事法案だとすると「それは招き易い」ということは成り立つ fact10: 仮にあるものは話し易いかまたは処分等だとするとそれは飛び交わない fact11: もしもあの到着時間は交換出来るししかも壊れ難いならば有事法案だ ; $hypothesis$ = 「何らかの物は飛び交わない」ということは成り立たない ; $proof$ = 
fact4 -> int1: もしもあの到着時間が交換出来ないがしかしそれが壊れ難いとしたらそれは有事法案だ; fact8 -> int2: あの到着時間は交換出来ないけれどそれは壊れ難い; int1 & int2 -> int3: あの到着時間は有事法案だ; fact9 -> int4: もし仮にあの到着時間が有事法案だとするとそれは招き易い; int3 & int4 -> int5: あの到着時間は招き易い; fact2 -> int6: もしあの到着時間は招き易いとすると「それは話し易い」ということは成り立つ; int5 & int6 -> int7: あの到着時間は話し易い; int7 -> int8: あの到着時間は話し易いかもしくは処分等であるかあるいは両方ともである; fact10 -> int9: もし仮にあの到着時間は話し易いかもしくは処分等だとしたら飛び交わない; int8 & int9 -> int10: あの到着時間は飛び交わない; int10 -> hypothesis; __DISPROVED__
事実1: 仮にあの到着時間は処分等であるならば「それは飛び交わない」ということは事実である
事実2: 招き易い物は話し易い
事実3: あの到着時間は交換出来ない
事実4: もしなにかは交換出来ないがしかし壊れ難いとするとそれは有事法案だ
事実5: もし仮になにがしかの物は交換出来るししかも壊れ難いとすると有事法案である
事実6: 「処分等は飛び交わない」ということは成り立つ
事実7: すべての物は交換出来るということはない
事実8: どれもこれもは交換出来ないししかも壊れ難い
事実9: もしもある物は有事法案だとすると「それは招き易い」ということは成り立つ
事実10: 仮にあるものは話し易いかまたは処分等だとするとそれは飛び交わない
事実11: もしもあの到着時間は交換出来るししかも壊れ難いならば有事法案だ

仮説: 「何らかの物は飛び交わない」ということは成り立たない
1. 事実4から、推論1: "もしもあの到着時間が交換出来ないがしかしそれが壊れ難いとしたらそれは有事法案だ"が導かれる
2. 事実8から、推論2: "あの到着時間は交換出来ないけれどそれは壊れ難い"が導かれる
3. 推論1と推論2から、推論3: "あの到着時間は有事法案だ"が導かれる
4. 事実9から、推論4: "もし仮にあの到着時間が有事法案だとするとそれは招き易い"が導かれる
5. 推論3と推論4から、推論5: "あの到着時間は招き易い"が導かれる
6. 事実2から、推論6: "もしあの到着時間は招き易いとすると「それは話し易い」ということは成り立つ"が導かれる
7. 推論5と推論6から、推論7: "あの到着時間は話し易い"が導かれる
8. 推論7から、推論8: "あの到着時間は話し易いかもしくは処分等であるかあるいは両方ともである"が導かれる
9. 事実10から、推論9: "もし仮にあの到着時間は話し易いかもしくは処分等だとしたら飛び交わない"が導かれる
10. 推論8と推論9から、推論10: "あの到着時間は飛び交わない"が導かれる
11. 推論10から、仮説が否定される

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