その非法は進み行かない
fact1: もし仮にあのレム睡眠がスタートすとしたらあの第七移動動物園は交わせる fact2: あの第七移動動物園は交わせるとしたら「その非法は進み行く」ということは事実である fact3: もし仮に「何かは待ち草臥れるということはない一方でカード可だ」ということは正しいということはないとしたらカード可でない fact4: その回天はプールサイドでない fact5: もしもあの第七移動動物園がスタートすとするとあのレム睡眠は進み行くけれど忘れっぽくない fact6: 「あのレム睡眠はスタートすしまた忘れっぽい」ということは成り立つ fact7: あのレム睡眠が交わせればあの第七移動動物園は忘れっぽい fact8: もしあの第七移動動物園が進み行くならばあの非法は交わせる fact9: その回天が材料構成情報調査でないかあるいはそれがコーヒー店であるとするとそのスプロケットはコーヒー店でない fact10: 仮にその回天がプールサイドでないならば材料構成情報調査でないかそれはコーヒー店である fact11: もし仮にその非法が忘れっぽいならあのレム睡眠は進み行く fact12: もしもそのスプロケットはコーヒー店でないとしたらおっかなくておまけに動き難い fact13: あのレム睡眠は忘れっぽい fact14: 仮に何らかのものは動き難いなら「待ち草臥れないけれどカード可である」ということは間違いである fact15: もし「「カード可でない」ということは正しい」物はあるなら「あの三本立ては交わせなくてかつスタートすらない」ということは偽である fact16: もし仮にあのレム睡眠が進み行くが忘れっぽくないならばその非法は進み行かない fact17: あの第七移動動物園が忘れっぽいとしたらあのレム睡眠は交わせる fact18: その非法は交わせる
fact6 -> int1: あのレム睡眠はスタートす; int1 & fact1 -> int2: あの第七移動動物園は交わせる; int2 & fact2 -> hypothesis;
fact6 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
その非法は進み行くということはない
fact20 -> int3: 「そのスプロケットは待ち草臥れない一方でカード可だ」ということは成り立たないとするとカード可であるということはない; fact21 -> int4: そのスプロケットは動き難いとすれば「「それは待ち草臥れるということはないしかつカード可だ」ということは事実だ」ということは確かでない; fact19 & fact27 -> int5: その回天は材料構成情報調査でないかあるいはコーヒー店であるかどちらもである; fact26 & int5 -> int6: 「そのスプロケットはコーヒー店だということはない」ということは確かだ; fact25 & int6 -> int7: そのスプロケットはおっかないし動き難い; int7 -> int8: そのスプロケットは動き難い; int4 & int8 -> int9: 「そのスプロケットは待ち草臥れるということはないがしかしそれはカード可である」ということは成り立たない; int3 & int9 -> int10: そのスプロケットはカード可でない; int10 -> int11: ある物はカード可でない; int11 & fact24 -> int12: 「あの三本立ては交わせないしその上スタートさない」ということは成り立つということはない; int12 -> int13: 「「交わせなくてしかもスタートすということはない」ということは成り立たない」ものはある;
$facts$ = fact1: もし仮にあのレム睡眠がスタートすとしたらあの第七移動動物園は交わせる fact2: あの第七移動動物園は交わせるとしたら「その非法は進み行く」ということは事実である fact3: もし仮に「何かは待ち草臥れるということはない一方でカード可だ」ということは正しいということはないとしたらカード可でない fact4: その回天はプールサイドでない fact5: もしもあの第七移動動物園がスタートすとするとあのレム睡眠は進み行くけれど忘れっぽくない fact6: 「あのレム睡眠はスタートすしまた忘れっぽい」ということは成り立つ fact7: あのレム睡眠が交わせればあの第七移動動物園は忘れっぽい fact8: もしあの第七移動動物園が進み行くならばあの非法は交わせる fact9: その回天が材料構成情報調査でないかあるいはそれがコーヒー店であるとするとそのスプロケットはコーヒー店でない fact10: 仮にその回天がプールサイドでないならば材料構成情報調査でないかそれはコーヒー店である fact11: もし仮にその非法が忘れっぽいならあのレム睡眠は進み行く fact12: もしもそのスプロケットはコーヒー店でないとしたらおっかなくておまけに動き難い fact13: あのレム睡眠は忘れっぽい fact14: 仮に何らかのものは動き難いなら「待ち草臥れないけれどカード可である」ということは間違いである fact15: もし「「カード可でない」ということは正しい」物はあるなら「あの三本立ては交わせなくてかつスタートすらない」ということは偽である fact16: もし仮にあのレム睡眠が進み行くが忘れっぽくないならばその非法は進み行かない fact17: あの第七移動動物園が忘れっぽいとしたらあのレム睡眠は交わせる fact18: その非法は交わせる ; $hypothesis$ = その非法は進み行かない ; $proof$ = 
fact6 -> int1: あのレム睡眠はスタートす; int1 & fact1 -> int2: あの第七移動動物園は交わせる; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にあのレム睡眠がスタートすとしたらあの第七移動動物園は交わせる
事実2: あの第七移動動物園は交わせるとしたら「その非法は進み行く」ということは事実である
事実3: もし仮に「何かは待ち草臥れるということはない一方でカード可だ」ということは正しいということはないとしたらカード可でない
事実4: その回天はプールサイドでない
事実5: もしもあの第七移動動物園がスタートすとするとあのレム睡眠は進み行くけれど忘れっぽくない
事実6: 「あのレム睡眠はスタートすしまた忘れっぽい」ということは成り立つ
事実7: あのレム睡眠が交わせればあの第七移動動物園は忘れっぽい
事実8: もしあの第七移動動物園が進み行くならばあの非法は交わせる
事実9: その回天が材料構成情報調査でないかあるいはそれがコーヒー店であるとするとそのスプロケットはコーヒー店でない
事実10: 仮にその回天がプールサイドでないならば材料構成情報調査でないかそれはコーヒー店である
事実11: もし仮にその非法が忘れっぽいならあのレム睡眠は進み行く
事実12: もしもそのスプロケットはコーヒー店でないとしたらおっかなくておまけに動き難い
事実13: あのレム睡眠は忘れっぽい
事実14: 仮に何らかのものは動き難いなら「待ち草臥れないけれどカード可である」ということは間違いである
事実15: もし「「カード可でない」ということは正しい」物はあるなら「あの三本立ては交わせなくてかつスタートすらない」ということは偽である
事実16: もし仮にあのレム睡眠が進み行くが忘れっぽくないならばその非法は進み行かない
事実17: あの第七移動動物園が忘れっぽいとしたらあのレム睡眠は交わせる
事実18: その非法は交わせる

仮説: その非法は進み行かない
1. 事実6から、推論1: "あのレム睡眠はスタートす"が導かれる
2. 推論1と事実1から、推論2: "あの第七移動動物園は交わせる"が導かれる
3. 推論2と事実2から、仮説が否定される

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