その政策体系はトランスポートパネルでない
fact1: もしもその弛緩性構音障害は下根でないとしたら「トランスポートパネルであるしそれに小村建設でない」ということは間違いである fact2: そのバスツアーは螺旋形でない fact3: もしそのバスツアーが小村建設であるとしたらその政策体系はトランスポートパネルである fact4: もし仮にその政策体系が下根だしそれが小村建設であるとするとあの基礎情報は小村建設でない fact5: その政策体系は下根でない fact6: もしもなにがしかの物は糞食らうがしかし還流しないなら小村建設だ fact7: 「なんらかのものは糞食らうが還流するということはない」ということは誤りだとしたらそれは下根である fact8: もし仮にそのバスツアーは螺旋形でないとしたら「鯨雲さんで下根である」ということは成り立つということはない fact9: 「その裏打ち紙は小村建設であるし落ち易い」ということは成り立たない fact10: 「なんらかのものは鯨雲さんであるしそれに下根だ」ということは成り立たないとしたら下根でない
fact7 -> int1: もしも「そのバスツアーは糞食らう一方で還流しない」ということは偽だとしたら下根だ; void -> assump1: 以下のように仮定する。「そのバスツアーは糞食らうけれど還流しない」ということは真実であるということはない; int1 & assump1 -> int2: そのバスツアーは下根である; fact10 -> int3: 仮に「そのバスツアーは鯨雲さんであるし下根だ」ということは成り立たないとすると「下根でない」ということは成り立つ; fact2 & fact8 -> int4: 「そのバスツアーは鯨雲さんであるししかも下根だ」ということは事実でない; int3 & int4 -> int5: そのバスツアーは下根でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのバスツアーは糞食らうけど還流しない; fact6 -> int8: そのバスツアーは糞食らうけれど還流しないとしたら「小村建設である」ということは本当である; int7 & int8 -> int9: そのバスツアーは小村建設だ; int9 & fact3 -> hypothesis;
その政策体系はトランスポートパネルでない
$facts$ = fact1: もしもその弛緩性構音障害は下根でないとしたら「トランスポートパネルであるしそれに小村建設でない」ということは間違いである fact2: そのバスツアーは螺旋形でない fact3: もしそのバスツアーが小村建設であるとしたらその政策体系はトランスポートパネルである fact4: もし仮にその政策体系が下根だしそれが小村建設であるとするとあの基礎情報は小村建設でない fact5: その政策体系は下根でない fact6: もしもなにがしかの物は糞食らうがしかし還流しないなら小村建設だ fact7: 「なんらかのものは糞食らうが還流するということはない」ということは誤りだとしたらそれは下根である fact8: もし仮にそのバスツアーは螺旋形でないとしたら「鯨雲さんで下根である」ということは成り立つということはない fact9: 「その裏打ち紙は小村建設であるし落ち易い」ということは成り立たない fact10: 「なんらかのものは鯨雲さんであるしそれに下根だ」ということは成り立たないとしたら下根でない ; $hypothesis$ = その政策体系はトランスポートパネルでない ; $proof$ = 
fact7 -> int1: もしも「そのバスツアーは糞食らう一方で還流しない」ということは偽だとしたら下根だ; void -> assump1: 以下のように仮定する。「そのバスツアーは糞食らうけれど還流しない」ということは真実であるということはない; int1 & assump1 -> int2: そのバスツアーは下根である; fact10 -> int3: 仮に「そのバスツアーは鯨雲さんであるし下根だ」ということは成り立たないとすると「下根でない」ということは成り立つ; fact2 & fact8 -> int4: 「そのバスツアーは鯨雲さんであるししかも下根だ」ということは事実でない; int3 & int4 -> int5: そのバスツアーは下根でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのバスツアーは糞食らうけど還流しない; fact6 -> int8: そのバスツアーは糞食らうけれど還流しないとしたら「小村建設である」ということは本当である; int7 & int8 -> int9: そのバスツアーは小村建設だ; int9 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもその弛緩性構音障害は下根でないとしたら「トランスポートパネルであるしそれに小村建設でない」ということは間違いである
事実2: そのバスツアーは螺旋形でない
事実3: もしそのバスツアーが小村建設であるとしたらその政策体系はトランスポートパネルである
事実4: もし仮にその政策体系が下根だしそれが小村建設であるとするとあの基礎情報は小村建設でない
事実5: その政策体系は下根でない
事実6: もしもなにがしかの物は糞食らうがしかし還流しないなら小村建設だ
事実7: 「なんらかのものは糞食らうが還流するということはない」ということは誤りだとしたらそれは下根である
事実8: もし仮にそのバスツアーは螺旋形でないとしたら「鯨雲さんで下根である」ということは成り立つということはない
事実9: 「その裏打ち紙は小村建設であるし落ち易い」ということは成り立たない
事実10: 「なんらかのものは鯨雲さんであるしそれに下根だ」ということは成り立たないとしたら下根でない

仮説: その政策体系はトランスポートパネルでない
1. 事実7から、推論1: "もしも「そのバスツアーは糞食らう一方で還流しない」ということは偽だとしたら下根だ"が導かれる
2. 仮定1: 以下のように仮定する。「そのバスツアーは糞食らうけれど還流しない」ということは真実であるということはない
3. 推論1と仮定1から、推論2: "そのバスツアーは下根である"が導かれる
4. 事実10から、推論3: "仮に「そのバスツアーは鯨雲さんであるし下根だ」ということは成り立たないとすると「下根でない」ということは成り立つ"が導かれる
5. 事実2と事実8から、推論4: "「そのバスツアーは鯨雲さんであるししかも下根だ」ということは事実でない"が導かれる
6. 推論3と推論4から、推論5: "そのバスツアーは下根でない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "そのバスツアーは糞食らうけど還流しない"が導かれる
9. 事実6から、推論8: "そのバスツアーは糞食らうけれど還流しないとしたら「小村建設である」ということは本当である"が導かれる
10. 推論7と推論8から、推論9: "そのバスツアーは小村建設だ"が導かれる
11. 推論9と事実3から、仮説が否定される

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