この欧州空間開発見通しＥＳＤＰはキットでない
fact1: もし仮に「その強行規定は増え続けないしそれは忍従でない」ということは成り立つということはないならば「あのデザインビューは推計する」ということは偽でない fact2: 「「あの滝川事件は推計しない」ということは確かだ」ということは成り立たない fact3: あのデザインビューはキットだ fact4: あの州教育課程委員会が船員法でないならその強行規定は船員法だ fact5: もしもあのデザインビューが推計するとすればあの欧州空間開発見通しＥＳＤＰはキットでないがしかし名状し難い fact6: もしなにかは増え続けないとしたら「名状し難いか推計するかまたは両方だ」ということは誤っている fact7: もし仮にあの荒行が毒々しいとするとそれは決定権だ fact8: もしもあのデザインビューは推計するとしたら「この欧州空間開発見通しＥＳＤＰはキットである」ということは成り立つ fact9: この欧州空間開発見通しＥＳＤＰは推計する fact10: あのデザインビューは名状し難いかもしくは推計するか両方である fact11: もし「なんらかの物は船員法であるかもしくは忍従でない」ということは成り立たないとしたら「それは増え続けない」ということは誤りでない fact12: もしもなにがしかのものは船員法であるなら「増え続けるということはないししかもそれは忍従でない」ということは誤りだ fact13: もしもこの欧州空間開発見通しＥＳＤＰが名状し難いとすればあのデザインビューはキットである fact14: もし「あのデザインビューはキットでない」ということは事実でないとしたらこの欧州空間開発見通しＥＳＤＰは名状し難い fact15: もし仮にあのデザインビューが名状し難いとすればこの欧州空間開発見通しＥＳＤＰはキットだ fact16: 「何らかのものは決定権であるということはなくてそれは行儀良くない」ということは事実と異なるとすれば船員法でない
fact10 & fact15 & fact8 -> hypothesis;
fact10 & fact15 & fact8 -> hypothesis;
この欧州空間開発見通しＥＳＤＰはキットであるということはない
fact18 -> int1: もし仮にあのデザインビューは増え続けないなら「名状し難いかもしくは推計するかまたはどちらもだ」ということは成り立たない; fact17 -> int2: 仮に「あのデザインビューは船員法であるかそれは忍従でない」ということは嘘であるなら「増え続けない」ということは事実と異なるということはない;
$facts$ = fact1: もし仮に「その強行規定は増え続けないしそれは忍従でない」ということは成り立つということはないならば「あのデザインビューは推計する」ということは偽でない fact2: 「「あの滝川事件は推計しない」ということは確かだ」ということは成り立たない fact3: あのデザインビューはキットだ fact4: あの州教育課程委員会が船員法でないならその強行規定は船員法だ fact5: もしもあのデザインビューが推計するとすればあの欧州空間開発見通しＥＳＤＰはキットでないがしかし名状し難い fact6: もしなにかは増え続けないとしたら「名状し難いか推計するかまたは両方だ」ということは誤っている fact7: もし仮にあの荒行が毒々しいとするとそれは決定権だ fact8: もしもあのデザインビューは推計するとしたら「この欧州空間開発見通しＥＳＤＰはキットである」ということは成り立つ fact9: この欧州空間開発見通しＥＳＤＰは推計する fact10: あのデザインビューは名状し難いかもしくは推計するか両方である fact11: もし「なんらかの物は船員法であるかもしくは忍従でない」ということは成り立たないとしたら「それは増え続けない」ということは誤りでない fact12: もしもなにがしかのものは船員法であるなら「増え続けるということはないししかもそれは忍従でない」ということは誤りだ fact13: もしもこの欧州空間開発見通しＥＳＤＰが名状し難いとすればあのデザインビューはキットである fact14: もし「あのデザインビューはキットでない」ということは事実でないとしたらこの欧州空間開発見通しＥＳＤＰは名状し難い fact15: もし仮にあのデザインビューが名状し難いとすればこの欧州空間開発見通しＥＳＤＰはキットだ fact16: 「何らかのものは決定権であるということはなくてそれは行儀良くない」ということは事実と異なるとすれば船員法でない ; $hypothesis$ = この欧州空間開発見通しＥＳＤＰはキットでない ; $proof$ = 
fact10 & fact15 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮に「その強行規定は増え続けないしそれは忍従でない」ということは成り立つということはないならば「あのデザインビューは推計する」ということは偽でない
事実2: 「「あの滝川事件は推計しない」ということは確かだ」ということは成り立たない
事実3: あのデザインビューはキットだ
事実4: あの州教育課程委員会が船員法でないならその強行規定は船員法だ
事実5: もしもあのデザインビューが推計するとすればあの欧州空間開発見通しＥＳＤＰはキットでないがしかし名状し難い
事実6: もしなにかは増え続けないとしたら「名状し難いか推計するかまたは両方だ」ということは誤っている
事実7: もし仮にあの荒行が毒々しいとするとそれは決定権だ
事実8: もしもあのデザインビューは推計するとしたら「この欧州空間開発見通しＥＳＤＰはキットである」ということは成り立つ
事実9: この欧州空間開発見通しＥＳＤＰは推計する
事実10: あのデザインビューは名状し難いかもしくは推計するか両方である
事実11: もし「なんらかの物は船員法であるかもしくは忍従でない」ということは成り立たないとしたら「それは増え続けない」ということは誤りでない
事実12: もしもなにがしかのものは船員法であるなら「増え続けるということはないししかもそれは忍従でない」ということは誤りだ
事実13: もしもこの欧州空間開発見通しＥＳＤＰが名状し難いとすればあのデザインビューはキットである
事実14: もし「あのデザインビューはキットでない」ということは事実でないとしたらこの欧州空間開発見通しＥＳＤＰは名状し難い
事実15: もし仮にあのデザインビューが名状し難いとすればこの欧州空間開発見通しＥＳＤＰはキットだ
事実16: 「何らかのものは決定権であるということはなくてそれは行儀良くない」ということは事実と異なるとすれば船員法でない

仮説: この欧州空間開発見通しＥＳＤＰはキットでない
1. 事実10と事実15と事実8から、仮説が否定される

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