「この満員電車は不活化しなくてまたそれはし続けない」ということは真実でない
fact1: 「この亜炭鉱軌道跡存在はボーイスカウトだ」ということは正しいならそれは生涯教育だ fact2: もしもなにがしかの物が統制し得るならセルブロックである fact3: 「この狭心痛は立派過ぎないがしかし一時頃だ」ということは成り立たない fact4: あのＩＭＭＵＮは呼び出しメッセージでない fact5: 悪戯っぽくない物は不活化しないし加えてし続けない fact6: それは立派過ぎるということはなくて一時頃であるというものはない fact7: 仮に「この横材は言い逃れるけれどそれは地域情報でない」ということは事実と異なるならこの体外受精・胚移植法は燥ぐ fact8: 仮になんらかの物は前後方向でないとするとそれは統制し得るし癒し難い fact9: もし仮にあのＩＭＭＵＮは呼び出しメッセージでないとすると「この横材は言い逃れるがしかし地域情報でない」ということは成り立たない fact10: この亜炭鉱軌道跡存在は奴隷化する fact11: もしこの満員電車は癒し難いならば「それは不活化しないし加えてし続けない」ということは間違いである fact12: 立派過ぎないし一時頃でないというものはない fact13: もしこの亜炭鉱軌道跡存在は悪戯っぽいということはないとすれば「この満員電車は悪戯っぽくない一方でセルブロックである」ということは誤りだ fact14: 仮に「「この満員電車は悪戯っぽくないがしかしセルブロックである」ということは成り立つ」ということは誤りなら統制し得る fact15: 生涯教育はセルブロックでないがしかし一．五倍程度である fact16: もし何かは奴隷化するならそれはボーイスカウトである fact17: もし仮にあるものは統制し得るとすれば「それは癒し難い」ということは偽でない fact18: 立派過ぎるし一時頃でないという物はない fact19: この体外受精・胚移植法はべた付き易くておまけに事象だ fact20: もしもこの満員電車は癒し難いならば「不活化するがし続けない」ということは事実と異なる fact21: 「この狭心痛は立派過ぎなくてかつ一時頃でない」ということは間違いであるならばこの亜炭鉱軌道跡存在は悪戯っぽくない fact22: もしもこの亜炭鉱軌道跡存在がセルブロックでないがしかしそれが統制し得ればこの満員電車は悪戯っぽくない
fact12 -> int1: 「この狭心痛が立派過ぎないしさらにそれは一時頃であるということはない」ということは成り立たない; int1 & fact21 -> int2: この亜炭鉱軌道跡存在は悪戯っぽくない; int2 & fact13 -> int3: 「この満員電車は悪戯っぽくないがセルブロックである」ということは成り立たない; int3 & fact14 -> int4: この満員電車は統制し得る; fact17 -> int5: 「仮にこの満員電車が統制し得るならこの満員電車は癒し難い」ということは成り立つ; int4 & int5 -> int6: 「この満員電車は癒し難い」ということは確かである; int6 & fact11 -> hypothesis;
この満員電車は不活化しないし更にし続けない
fact31 -> int7: 仮にこの満員電車が悪戯っぽいということはないならば不活化するということはないしし続けない; fact28 -> int8: もし仮にこの亜炭鉱軌道跡存在は生涯教育だとすれば「セルブロックでないがしかし一．五倍程度である」ということは確かだ; fact26 -> int9: もしこの亜炭鉱軌道跡存在は奴隷化するとしたら「それはボーイスカウトである」ということは真実だ; int9 & fact29 -> int10: この亜炭鉱軌道跡存在はボーイスカウトだ; fact27 & int10 -> int11: 「この亜炭鉱軌道跡存在は生涯教育だ」ということは本当だ; int8 & int11 -> int12: この亜炭鉱軌道跡存在はセルブロックであるということはないがしかしそれは一．五倍程度だ; int12 -> int13: この亜炭鉱軌道跡存在はセルブロックであるということはない; fact33 -> int14: もしこの亜炭鉱軌道跡存在は前後方向でないとしたらそれは統制し得るし癒し難い; fact23 -> int15: 「「この体外受精・胚移植法は事象でない」ということは間違いである」ということは間違いでない; fact25 & fact30 -> int16: 「この横材は言い逃れる一方で地域情報でない」ということは嘘である; fact24 & int16 -> int17: この体外受精・胚移植法は燥ぐ; int15 & int17 -> int18: この体外受精・胚移植法は事象であるし燥ぐ; int18 -> int19: 「事象であるしおまけに燥ぐ」物はある;
$facts$ = fact1: 「この亜炭鉱軌道跡存在はボーイスカウトだ」ということは正しいならそれは生涯教育だ fact2: もしもなにがしかの物が統制し得るならセルブロックである fact3: 「この狭心痛は立派過ぎないがしかし一時頃だ」ということは成り立たない fact4: あのＩＭＭＵＮは呼び出しメッセージでない fact5: 悪戯っぽくない物は不活化しないし加えてし続けない fact6: それは立派過ぎるということはなくて一時頃であるというものはない fact7: 仮に「この横材は言い逃れるけれどそれは地域情報でない」ということは事実と異なるならこの体外受精・胚移植法は燥ぐ fact8: 仮になんらかの物は前後方向でないとするとそれは統制し得るし癒し難い fact9: もし仮にあのＩＭＭＵＮは呼び出しメッセージでないとすると「この横材は言い逃れるがしかし地域情報でない」ということは成り立たない fact10: この亜炭鉱軌道跡存在は奴隷化する fact11: もしこの満員電車は癒し難いならば「それは不活化しないし加えてし続けない」ということは間違いである fact12: 立派過ぎないし一時頃でないというものはない fact13: もしこの亜炭鉱軌道跡存在は悪戯っぽいということはないとすれば「この満員電車は悪戯っぽくない一方でセルブロックである」ということは誤りだ fact14: 仮に「「この満員電車は悪戯っぽくないがしかしセルブロックである」ということは成り立つ」ということは誤りなら統制し得る fact15: 生涯教育はセルブロックでないがしかし一．五倍程度である fact16: もし何かは奴隷化するならそれはボーイスカウトである fact17: もし仮にあるものは統制し得るとすれば「それは癒し難い」ということは偽でない fact18: 立派過ぎるし一時頃でないという物はない fact19: この体外受精・胚移植法はべた付き易くておまけに事象だ fact20: もしもこの満員電車は癒し難いならば「不活化するがし続けない」ということは事実と異なる fact21: 「この狭心痛は立派過ぎなくてかつ一時頃でない」ということは間違いであるならばこの亜炭鉱軌道跡存在は悪戯っぽくない fact22: もしもこの亜炭鉱軌道跡存在がセルブロックでないがしかしそれが統制し得ればこの満員電車は悪戯っぽくない ; $hypothesis$ = 「この満員電車は不活化しなくてまたそれはし続けない」ということは真実でない ; $proof$ = 
fact12 -> int1: 「この狭心痛が立派過ぎないしさらにそれは一時頃であるということはない」ということは成り立たない; int1 & fact21 -> int2: この亜炭鉱軌道跡存在は悪戯っぽくない; int2 & fact13 -> int3: 「この満員電車は悪戯っぽくないがセルブロックである」ということは成り立たない; int3 & fact14 -> int4: この満員電車は統制し得る; fact17 -> int5: 「仮にこの満員電車が統制し得るならこの満員電車は癒し難い」ということは成り立つ; int4 & int5 -> int6: 「この満員電車は癒し難い」ということは確かである; int6 & fact11 -> hypothesis; __PROVED__
事実1: 「この亜炭鉱軌道跡存在はボーイスカウトだ」ということは正しいならそれは生涯教育だ
事実2: もしもなにがしかの物が統制し得るならセルブロックである
事実3: 「この狭心痛は立派過ぎないがしかし一時頃だ」ということは成り立たない
事実4: あのＩＭＭＵＮは呼び出しメッセージでない
事実5: 悪戯っぽくない物は不活化しないし加えてし続けない
事実6: それは立派過ぎるということはなくて一時頃であるというものはない
事実7: 仮に「この横材は言い逃れるけれどそれは地域情報でない」ということは事実と異なるならこの体外受精・胚移植法は燥ぐ
事実8: 仮になんらかの物は前後方向でないとするとそれは統制し得るし癒し難い
事実9: もし仮にあのＩＭＭＵＮは呼び出しメッセージでないとすると「この横材は言い逃れるがしかし地域情報でない」ということは成り立たない
事実10: この亜炭鉱軌道跡存在は奴隷化する
事実11: もしこの満員電車は癒し難いならば「それは不活化しないし加えてし続けない」ということは間違いである
事実12: 立派過ぎないし一時頃でないというものはない
事実13: もしこの亜炭鉱軌道跡存在は悪戯っぽいということはないとすれば「この満員電車は悪戯っぽくない一方でセルブロックである」ということは誤りだ
事実14: 仮に「「この満員電車は悪戯っぽくないがしかしセルブロックである」ということは成り立つ」ということは誤りなら統制し得る
事実15: 生涯教育はセルブロックでないがしかし一．五倍程度である
事実16: もし何かは奴隷化するならそれはボーイスカウトである
事実17: もし仮にあるものは統制し得るとすれば「それは癒し難い」ということは偽でない
事実18: 立派過ぎるし一時頃でないという物はない
事実19: この体外受精・胚移植法はべた付き易くておまけに事象だ
事実20: もしもこの満員電車は癒し難いならば「不活化するがし続けない」ということは事実と異なる
事実21: 「この狭心痛は立派過ぎなくてかつ一時頃でない」ということは間違いであるならばこの亜炭鉱軌道跡存在は悪戯っぽくない
事実22: もしもこの亜炭鉱軌道跡存在がセルブロックでないがしかしそれが統制し得ればこの満員電車は悪戯っぽくない

仮説: 「この満員電車は不活化しなくてまたそれはし続けない」ということは真実でない
1. 事実12から、推論1: "「この狭心痛が立派過ぎないしさらにそれは一時頃であるということはない」ということは成り立たない"が導かれる
2. 推論1と事実21から、推論2: "この亜炭鉱軌道跡存在は悪戯っぽくない"が導かれる
3. 推論2と事実13から、推論3: "「この満員電車は悪戯っぽくないがセルブロックである」ということは成り立たない"が導かれる
4. 推論3と事実14から、推論4: "この満員電車は統制し得る"が導かれる
5. 事実17から、推論5: "「仮にこの満員電車が統制し得るならこの満員電車は癒し難い」ということは成り立つ"が導かれる
6. 推論4と推論5から、推論6: "「この満員電車は癒し難い」ということは確かである"が導かれる
7. 推論6と事実11から、仮説が導かれる

よって、仮説が証明されました。