あの火薬庫は阻却しない
fact1: 仮にあの火薬庫が撥ね回らないとするとその各国・地域資料は超過する fact2: もしもそのトレイが合わせ辛くないとすればその各国・地域資料は受け渡すけど飛び起きるということはない fact3: もし「その各国・地域資料はめでたくないけれど撥ね回る」ということは成り立たないとするとあの火薬庫は阻却しない fact4: 仮にそのトレイが飛び起きるけどそれは合わせ辛くないとしたら「あの火薬庫は阻却する」ということは確かである fact5: そのトレイが同協議会であるということはないとすると御早くて合わせ辛くない fact6: 仮に「その各国・地域資料は合わせ辛い」ということは成り立たないとすれば「そのトレイはめでたくないが合わせ辛い」ということは間違いである fact7: その各国・地域資料は入り辛い fact8: そのトレイは飛び起きるし合わせ辛い fact9: もしもそのトレイは撥ね回らないならば「その各国・地域資料はめでたくない一方で撥ね回る」ということは成り立たない fact10: もし仮にその各国・地域資料は御早くないとすると「そのトレイはめでたくないけど御早い」ということは偽だ fact11: その各国・地域資料は飛び起きる fact12: もしそのトレイが飛び起きるしおまけにそれが御早いとしたらそれは撥ね回らない fact13: そのトレイは御早い fact14: 仮に「その各国・地域資料は撥ね回らない」ということは本当だとしたら「そのトレイはめでたいし加えて撥ね回る」ということは成り立つということはない fact15: そのトレイはめでたい fact16: もしもその各国・地域資料は合わせ辛いし撥ね回るとすればそれはめでたくない fact17: あの三百年前がクエーカー教徒だしそれは商人らしい fact18: 「あの火薬庫はプロらしいしその上飛び起きる」ということは事実と異なる
fact8 -> int1: そのトレイは飛び起きる; int1 & fact13 -> int2: そのトレイは飛び起きるし御早い; int2 & fact12 -> int3: そのトレイは撥ね回らない; int3 & fact9 -> int4: 「その各国・地域資料はめでたくないけど撥ね回る」ということは成り立たない; int4 & fact3 -> hypothesis;
あの火薬庫は阻却する
$facts$ = fact1: 仮にあの火薬庫が撥ね回らないとするとその各国・地域資料は超過する fact2: もしもそのトレイが合わせ辛くないとすればその各国・地域資料は受け渡すけど飛び起きるということはない fact3: もし「その各国・地域資料はめでたくないけれど撥ね回る」ということは成り立たないとするとあの火薬庫は阻却しない fact4: 仮にそのトレイが飛び起きるけどそれは合わせ辛くないとしたら「あの火薬庫は阻却する」ということは確かである fact5: そのトレイが同協議会であるということはないとすると御早くて合わせ辛くない fact6: 仮に「その各国・地域資料は合わせ辛い」ということは成り立たないとすれば「そのトレイはめでたくないが合わせ辛い」ということは間違いである fact7: その各国・地域資料は入り辛い fact8: そのトレイは飛び起きるし合わせ辛い fact9: もしもそのトレイは撥ね回らないならば「その各国・地域資料はめでたくない一方で撥ね回る」ということは成り立たない fact10: もし仮にその各国・地域資料は御早くないとすると「そのトレイはめでたくないけど御早い」ということは偽だ fact11: その各国・地域資料は飛び起きる fact12: もしそのトレイが飛び起きるしおまけにそれが御早いとしたらそれは撥ね回らない fact13: そのトレイは御早い fact14: 仮に「その各国・地域資料は撥ね回らない」ということは本当だとしたら「そのトレイはめでたいし加えて撥ね回る」ということは成り立つということはない fact15: そのトレイはめでたい fact16: もしもその各国・地域資料は合わせ辛いし撥ね回るとすればそれはめでたくない fact17: あの三百年前がクエーカー教徒だしそれは商人らしい fact18: 「あの火薬庫はプロらしいしその上飛び起きる」ということは事実と異なる ; $hypothesis$ = あの火薬庫は阻却しない ; $proof$ = 
fact8 -> int1: そのトレイは飛び起きる; int1 & fact13 -> int2: そのトレイは飛び起きるし御早い; int2 & fact12 -> int3: そのトレイは撥ね回らない; int3 & fact9 -> int4: 「その各国・地域資料はめでたくないけど撥ね回る」ということは成り立たない; int4 & fact3 -> hypothesis; __PROVED__
事実1: 仮にあの火薬庫が撥ね回らないとするとその各国・地域資料は超過する
事実2: もしもそのトレイが合わせ辛くないとすればその各国・地域資料は受け渡すけど飛び起きるということはない
事実3: もし「その各国・地域資料はめでたくないけれど撥ね回る」ということは成り立たないとするとあの火薬庫は阻却しない
事実4: 仮にそのトレイが飛び起きるけどそれは合わせ辛くないとしたら「あの火薬庫は阻却する」ということは確かである
事実5: そのトレイが同協議会であるということはないとすると御早くて合わせ辛くない
事実6: 仮に「その各国・地域資料は合わせ辛い」ということは成り立たないとすれば「そのトレイはめでたくないが合わせ辛い」ということは間違いである
事実7: その各国・地域資料は入り辛い
事実8: そのトレイは飛び起きるし合わせ辛い
事実9: もしもそのトレイは撥ね回らないならば「その各国・地域資料はめでたくない一方で撥ね回る」ということは成り立たない
事実10: もし仮にその各国・地域資料は御早くないとすると「そのトレイはめでたくないけど御早い」ということは偽だ
事実11: その各国・地域資料は飛び起きる
事実12: もしそのトレイが飛び起きるしおまけにそれが御早いとしたらそれは撥ね回らない
事実13: そのトレイは御早い
事実14: 仮に「その各国・地域資料は撥ね回らない」ということは本当だとしたら「そのトレイはめでたいし加えて撥ね回る」ということは成り立つということはない
事実15: そのトレイはめでたい
事実16: もしもその各国・地域資料は合わせ辛いし撥ね回るとすればそれはめでたくない
事実17: あの三百年前がクエーカー教徒だしそれは商人らしい
事実18: 「あの火薬庫はプロらしいしその上飛び起きる」ということは事実と異なる

仮説: あの火薬庫は阻却しない
1. 事実8から、推論1: "そのトレイは飛び起きる"が導かれる
2. 推論1と事実13から、推論2: "そのトレイは飛び起きるし御早い"が導かれる
3. 推論2と事実12から、推論3: "そのトレイは撥ね回らない"が導かれる
4. 推論3と事実9から、推論4: "「その各国・地域資料はめでたくないけど撥ね回る」ということは成り立たない"が導かれる
5. 推論4と事実3から、仮説が導かれる

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