「あの諸大夫は補強しない一方でそれは這い蹲う」ということは偽である
fact1: あの空間スケールは這い蹲うがしかし満年齢でない fact2: もし何らかの物は色っぽいということはないとすると「「補強するということはないしそれに精神科医療でない」ということは成り立つ」ということは成り立たない fact3: 「精神科医療は寝付く」ということは確かだ fact4: あの空間スケールが補強するし加えてそれがリスト表示するとすればこの集中講義は色っぽくない fact5: あの諸大夫はリスト表示しないかもしくはそれは補強する fact6: そのエントランスホールは迸るかもしくはそれは寝付くということはない fact7: 仮になにがしかのものが這い蹲うならそれは説き伏せる fact8: もし仮に「あの空間スケールは精神科医療でない」ということは確かだとしたらリスト表示するしおまけにそれは満年齢でない fact9: そのエントランスホールは迸らないかあるいは寝付かない fact10: もしあの空間スケールが這い蹲わないとすればそれは満年齢でない fact11: 「低しものは色っぽい」ということは確かだ fact12: 「あの空間スケールは精神科医療であるということはない」ということは成り立つ fact13: 仮になんらかの物は沈思黙考でないなら生え易くないし加えてチョイスしない fact14: 仮にそのエントランスホールが迸らないかもしくは寝付かないかどちらもだとすればこの集中講義は低し fact15: あるものが低しかあるいは迸らないとするとあの百分の三以上は這い蹲う fact16: この集中講義は低しかもしくはそれは迸らない fact17: もしそのエントランスホールが迸らないとしたらこの集中講義は低し fact18: あの諸大夫は満年齢でない fact19: もし仮にあの空間スケールが補強しないならばあの諸大夫は這い蹲う fact20: なんらかの物は精神科医療であるならば「補強しないし這い蹲う」ということは嘘だ fact21: 仮にあの空間スケールが補強しないとしたらあの諸大夫は補強しないが這い蹲う fact22: もしも「「補強するということはないし精神科医療でない」ということは偽である」物があるならばあの百分の三以上は精神科医療だ fact23: 仮にそのエントランスホールが精神科医療でしかもそれが寝付けばあの諸大夫は補強しない fact24: もし仮にあの空間スケールが寝付くとしたらあの諸大夫は低しない一方で色っぽい fact25: あらゆるものは沈思黙考でない fact26: 仮にあの空間スケールが低しないとしたらこの集中講義は精神科医療だ
fact8 & fact12 -> int1: あの空間スケールはリスト表示するけれど満年齢でない; int1 -> int2: あの空間スケールはリスト表示する; void -> assump1: 以下のように仮定する。「あの空間スケールは補強する」ということは成り立つ; int2 & assump1 -> int3: あの空間スケールは補強するしそれはリスト表示する; int3 & fact4 -> int4: この集中講義は色っぽくない; fact9 & fact14 -> int5: この集中講義は低し; fact11 -> int6: もし仮にこの集中講義が低しならばそれは色っぽい; int5 & int6 -> int7: この集中講義は色っぽい; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの空間スケールは補強しない; int9 & fact21 -> hypothesis;
あの百分の三以上は寝付くし更に説き伏せる
fact27 -> int10: 仮に「あの百分の三以上は精神科医療でない」ということは嘘だとするとそれは寝付く; fact30 -> int11: もしあの空間スケールは色っぽくないならば「それは補強するということはなくてそれに精神科医療でない」ということは誤りである; fact31 -> int12: もしもあの百分の三以上が這い蹲うとしたら説き伏せる; fact28 -> int13: なにがしかの物は低しかまたはそれは迸らないかあるいは両方ともである; int13 & fact32 -> int14: あの百分の三以上は這い蹲う; int12 & int14 -> int15: あの百分の三以上は説き伏せる;
$facts$ = fact1: あの空間スケールは這い蹲うがしかし満年齢でない fact2: もし何らかの物は色っぽいということはないとすると「「補強するということはないしそれに精神科医療でない」ということは成り立つ」ということは成り立たない fact3: 「精神科医療は寝付く」ということは確かだ fact4: あの空間スケールが補強するし加えてそれがリスト表示するとすればこの集中講義は色っぽくない fact5: あの諸大夫はリスト表示しないかもしくはそれは補強する fact6: そのエントランスホールは迸るかもしくはそれは寝付くということはない fact7: 仮になにがしかのものが這い蹲うならそれは説き伏せる fact8: もし仮に「あの空間スケールは精神科医療でない」ということは確かだとしたらリスト表示するしおまけにそれは満年齢でない fact9: そのエントランスホールは迸らないかあるいは寝付かない fact10: もしあの空間スケールが這い蹲わないとすればそれは満年齢でない fact11: 「低しものは色っぽい」ということは確かだ fact12: 「あの空間スケールは精神科医療であるということはない」ということは成り立つ fact13: 仮になんらかの物は沈思黙考でないなら生え易くないし加えてチョイスしない fact14: 仮にそのエントランスホールが迸らないかもしくは寝付かないかどちらもだとすればこの集中講義は低し fact15: あるものが低しかあるいは迸らないとするとあの百分の三以上は這い蹲う fact16: この集中講義は低しかもしくはそれは迸らない fact17: もしそのエントランスホールが迸らないとしたらこの集中講義は低し fact18: あの諸大夫は満年齢でない fact19: もし仮にあの空間スケールが補強しないならばあの諸大夫は這い蹲う fact20: なんらかの物は精神科医療であるならば「補強しないし這い蹲う」ということは嘘だ fact21: 仮にあの空間スケールが補強しないとしたらあの諸大夫は補強しないが這い蹲う fact22: もしも「「補強するということはないし精神科医療でない」ということは偽である」物があるならばあの百分の三以上は精神科医療だ fact23: 仮にそのエントランスホールが精神科医療でしかもそれが寝付けばあの諸大夫は補強しない fact24: もし仮にあの空間スケールが寝付くとしたらあの諸大夫は低しない一方で色っぽい fact25: あらゆるものは沈思黙考でない fact26: 仮にあの空間スケールが低しないとしたらこの集中講義は精神科医療だ ; $hypothesis$ = 「あの諸大夫は補強しない一方でそれは這い蹲う」ということは偽である ; $proof$ = 
fact8 & fact12 -> int1: あの空間スケールはリスト表示するけれど満年齢でない; int1 -> int2: あの空間スケールはリスト表示する; void -> assump1: 以下のように仮定する。「あの空間スケールは補強する」ということは成り立つ; int2 & assump1 -> int3: あの空間スケールは補強するしそれはリスト表示する; int3 & fact4 -> int4: この集中講義は色っぽくない; fact9 & fact14 -> int5: この集中講義は低し; fact11 -> int6: もし仮にこの集中講義が低しならばそれは色っぽい; int5 & int6 -> int7: この集中講義は色っぽい; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの空間スケールは補強しない; int9 & fact21 -> hypothesis; __DISPROVED__
事実1: あの空間スケールは這い蹲うがしかし満年齢でない
事実2: もし何らかの物は色っぽいということはないとすると「「補強するということはないしそれに精神科医療でない」ということは成り立つ」ということは成り立たない
事実3: 「精神科医療は寝付く」ということは確かだ
事実4: あの空間スケールが補強するし加えてそれがリスト表示するとすればこの集中講義は色っぽくない
事実5: あの諸大夫はリスト表示しないかもしくはそれは補強する
事実6: そのエントランスホールは迸るかもしくはそれは寝付くということはない
事実7: 仮になにがしかのものが這い蹲うならそれは説き伏せる
事実8: もし仮に「あの空間スケールは精神科医療でない」ということは確かだとしたらリスト表示するしおまけにそれは満年齢でない
事実9: そのエントランスホールは迸らないかあるいは寝付かない
事実10: もしあの空間スケールが這い蹲わないとすればそれは満年齢でない
事実11: 「低しものは色っぽい」ということは確かだ
事実12: 「あの空間スケールは精神科医療であるということはない」ということは成り立つ
事実13: 仮になんらかの物は沈思黙考でないなら生え易くないし加えてチョイスしない
事実14: 仮にそのエントランスホールが迸らないかもしくは寝付かないかどちらもだとすればこの集中講義は低し
事実15: あるものが低しかあるいは迸らないとするとあの百分の三以上は這い蹲う
事実16: この集中講義は低しかもしくはそれは迸らない
事実17: もしそのエントランスホールが迸らないとしたらこの集中講義は低し
事実18: あの諸大夫は満年齢でない
事実19: もし仮にあの空間スケールが補強しないならばあの諸大夫は這い蹲う
事実20: なんらかの物は精神科医療であるならば「補強しないし這い蹲う」ということは嘘だ
事実21: 仮にあの空間スケールが補強しないとしたらあの諸大夫は補強しないが這い蹲う
事実22: もしも「「補強するということはないし精神科医療でない」ということは偽である」物があるならばあの百分の三以上は精神科医療だ
事実23: 仮にそのエントランスホールが精神科医療でしかもそれが寝付けばあの諸大夫は補強しない
事実24: もし仮にあの空間スケールが寝付くとしたらあの諸大夫は低しない一方で色っぽい
事実25: あらゆるものは沈思黙考でない
事実26: 仮にあの空間スケールが低しないとしたらこの集中講義は精神科医療だ

仮説: 「あの諸大夫は補強しない一方でそれは這い蹲う」ということは偽である
1. 事実8と事実12から、推論1: "あの空間スケールはリスト表示するけれど満年齢でない"が導かれる
2. 推論1から、推論2: "あの空間スケールはリスト表示する"が導かれる
3. 仮定1: 以下のように仮定する。「あの空間スケールは補強する」ということは成り立つ
4. 推論2と仮定1から、推論3: "あの空間スケールは補強するしそれはリスト表示する"が導かれる
5. 推論3と事実4から、推論4: "この集中講義は色っぽくない"が導かれる
6. 事実9と事実14から、推論5: "この集中講義は低し"が導かれる
7. 事実11から、推論6: "もし仮にこの集中講義が低しならばそれは色っぽい"が導かれる
8. 推論5と推論6から、推論7: "この集中講義は色っぽい"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの空間スケールは補強しない"が導かれる
11. 推論9と事実21から、仮説が否定される

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