「もしこの迷走が異文化交流であるならばあの迷走は甲状腺シンチグラフィでない」ということは偽だ
fact1: 仮にこの迷走は御招待すれば「それは甲状腺シンチグラフィでない」ということは成り立つ fact2: この迷走は降り頻る fact3: この迷走が勿体無いとしたらそれは妄り語でない fact4: もしもこの迷走が異文化交流ならば甲状腺シンチグラフィである fact5: この迷走は強要する fact6: この迷走は野暮ったいけど勿体無くない fact7: この迷走は勿体無くない fact8: もし仮に野暮ったいものが甲状腺シンチグラフィならばそれは異文化交流でない fact9: この社員ＩＤは大書するし野暮ったい fact10: あのムジャーヒディーンは異文化交流でない fact11: この天獄は異文化交流でない fact12: この迷走は侘しくない fact13: もし仮にこの迷走は異文化交流であるとすればそれは形成出来ない fact14: その硫酸は仕事・プロセスであるししかも部屋割りである fact15: もし仮に野暮ったいものが甲状腺シンチグラフィだとしたら異文化交流だ fact16: 「この温室メロンは使い易いが異文化交流でない」ということは事実だ fact17: もしも勿体無いものは甲状腺シンチグラフィであるとしたら異文化交流でない fact18: 「あのローカルオブジェクトは返還すしその上認め難い」ということは正しいとしたら歩き通すということはない fact19: この迷走は野暮ったいしまた甲状腺シンチグラフィなら異文化交流だ
fact6 -> int1: 「この迷走は野暮ったい」ということは成り立つ; void -> assump2: 以下のように仮定する。この迷走は甲状腺シンチグラフィである; int1 & assump2 -> int2: 「この迷走は野暮ったいしかつ甲状腺シンチグラフィである」ということは真実である; fact8 -> int3: この迷走は野暮ったくてかつ甲状腺シンチグラフィならば異文化交流でない; int2 & int3 -> int4: この迷走は異文化交流でない; void -> assump1: 以下のように仮定する。この迷走は異文化交流だ; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: この迷走は甲状腺シンチグラフィであるということはない; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 仮にこの迷走は御招待すれば「それは甲状腺シンチグラフィでない」ということは成り立つ fact2: この迷走は降り頻る fact3: この迷走が勿体無いとしたらそれは妄り語でない fact4: もしもこの迷走が異文化交流ならば甲状腺シンチグラフィである fact5: この迷走は強要する fact6: この迷走は野暮ったいけど勿体無くない fact7: この迷走は勿体無くない fact8: もし仮に野暮ったいものが甲状腺シンチグラフィならばそれは異文化交流でない fact9: この社員ＩＤは大書するし野暮ったい fact10: あのムジャーヒディーンは異文化交流でない fact11: この天獄は異文化交流でない fact12: この迷走は侘しくない fact13: もし仮にこの迷走は異文化交流であるとすればそれは形成出来ない fact14: その硫酸は仕事・プロセスであるししかも部屋割りである fact15: もし仮に野暮ったいものが甲状腺シンチグラフィだとしたら異文化交流だ fact16: 「この温室メロンは使い易いが異文化交流でない」ということは事実だ fact17: もしも勿体無いものは甲状腺シンチグラフィであるとしたら異文化交流でない fact18: 「あのローカルオブジェクトは返還すしその上認め難い」ということは正しいとしたら歩き通すということはない fact19: この迷走は野暮ったいしまた甲状腺シンチグラフィなら異文化交流だ ; $hypothesis$ = 「もしこの迷走が異文化交流であるならばあの迷走は甲状腺シンチグラフィでない」ということは偽だ ; $proof$ = 
fact6 -> int1: 「この迷走は野暮ったい」ということは成り立つ; void -> assump2: 以下のように仮定する。この迷走は甲状腺シンチグラフィである; int1 & assump2 -> int2: 「この迷走は野暮ったいしかつ甲状腺シンチグラフィである」ということは真実である; fact8 -> int3: この迷走は野暮ったくてかつ甲状腺シンチグラフィならば異文化交流でない; int2 & int3 -> int4: この迷走は異文化交流でない; void -> assump1: 以下のように仮定する。この迷走は異文化交流だ; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: この迷走は甲状腺シンチグラフィであるということはない; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 仮にこの迷走は御招待すれば「それは甲状腺シンチグラフィでない」ということは成り立つ
事実2: この迷走は降り頻る
事実3: この迷走が勿体無いとしたらそれは妄り語でない
事実4: もしもこの迷走が異文化交流ならば甲状腺シンチグラフィである
事実5: この迷走は強要する
事実6: この迷走は野暮ったいけど勿体無くない
事実7: この迷走は勿体無くない
事実8: もし仮に野暮ったいものが甲状腺シンチグラフィならばそれは異文化交流でない
事実9: この社員ＩＤは大書するし野暮ったい
事実10: あのムジャーヒディーンは異文化交流でない
事実11: この天獄は異文化交流でない
事実12: この迷走は侘しくない
事実13: もし仮にこの迷走は異文化交流であるとすればそれは形成出来ない
事実14: その硫酸は仕事・プロセスであるししかも部屋割りである
事実15: もし仮に野暮ったいものが甲状腺シンチグラフィだとしたら異文化交流だ
事実16: 「この温室メロンは使い易いが異文化交流でない」ということは事実だ
事実17: もしも勿体無いものは甲状腺シンチグラフィであるとしたら異文化交流でない
事実18: 「あのローカルオブジェクトは返還すしその上認め難い」ということは正しいとしたら歩き通すということはない
事実19: この迷走は野暮ったいしまた甲状腺シンチグラフィなら異文化交流だ

仮説: 「もしこの迷走が異文化交流であるならばあの迷走は甲状腺シンチグラフィでない」ということは偽だ
1. 事実6から、推論1: "「この迷走は野暮ったい」ということは成り立つ"が導かれる
2. 仮定2: 以下のように仮定する。この迷走は甲状腺シンチグラフィである
3. 推論1と仮定2から、推論2: "「この迷走は野暮ったいしかつ甲状腺シンチグラフィである」ということは真実である"が導かれる
4. 事実8から、推論3: "この迷走は野暮ったくてかつ甲状腺シンチグラフィならば異文化交流でない"が導かれる
5. 推論2と推論3から、推論4: "この迷走は異文化交流でない"が導かれる
6. 仮定1: 以下のように仮定する。この迷走は異文化交流だ
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "この迷走は甲状腺シンチグラフィであるということはない"が導かれる
9. [仮定1]と推論6から、仮説が否定される

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