この食人は西流しないしそれは全面リフォームするということはない
fact1: 発揮し易い物は全面リフォームするということはない fact2: その東急エージェンシーが発揮し易くないとしたらあの学童クラブは圧縮でない一方で発揮し易い fact3: もし仮にこの用例数が大人っぽくないとしたらその会社名義は大人っぽくないか英訳しないか両方ともだ fact4: 仮にこの食人は後述しないとしたら「西流しないがしかし全面リフォームする」ということは間違いだ fact5: 発揮し易い物は西流しなくてまた全面リフォームしない fact6: 仮にその会社名義が大人っぽくないとすればこの食人は後述するということはない fact7: もしその会社名義が英訳しないとすればこの食人は後述しない fact8: もし「その会社名義は後述するけどそれは参照だということはない」ということは偽でないとすればこの用例数は後述しない fact9: その会社名義は後述するが参照であるということはない fact10: 仮にあの学童クラブが圧縮でないがそれは発揮し易いならば「この用例数は大人っぽいということはない」ということは確かだ fact11: もし仮に「圧縮な」物があるならばあの学童クラブは大人っぽいしさらに発揮し易い fact12: その東急エージェンシーは言い出し難くない fact13: もしその東急エージェンシーが発揮し易いとすると移動ハンドルであるしそれは言い出し難くない fact14: 「その東急エージェンシーは移動ハンドルだがしかし言い出し難くない」ということは誤りである fact15: もし仮にこの用例数が後述するということはないとしたら英訳するし更に圧縮だ fact16: 仮にこの食人は後述しないならば「それは西流するということはなくて全面リフォームしない」ということは成り立つということはない fact17: もしその会社名義が英訳するということはないとすればあの食人は後述する fact18: 「「この食人は西流しない一方で全面リフォームする」ということは偽でない」ということは成り立つということはない
void -> assump1: 以下のように仮定する。その東急エージェンシーは発揮し易い; fact13 & assump1 -> int1: その東急エージェンシーは移動ハンドルだが言い出し難くない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: その東急エージェンシーは発揮し易くない; int3 & fact2 -> int4: あの学童クラブは圧縮でないけど発揮し易い; int4 & fact10 -> int5: この用例数は大人っぽいということはない; int5 & fact3 -> int6: その会社名義は大人っぽいということはないかもしくはそれは英訳しないかもしくはどちらもである; int6 & fact6 & fact7 -> int7: 「この食人は後述しない」ということは本当だ; int7 & fact16 -> hypothesis;
この食人は西流しなくてそれに全面リフォームしない
fact19 -> int8: もしも「この食人は発揮し易い」ということは成り立つとしたら西流しないし更に全面リフォームしない;
$facts$ = fact1: 発揮し易い物は全面リフォームするということはない fact2: その東急エージェンシーが発揮し易くないとしたらあの学童クラブは圧縮でない一方で発揮し易い fact3: もし仮にこの用例数が大人っぽくないとしたらその会社名義は大人っぽくないか英訳しないか両方ともだ fact4: 仮にこの食人は後述しないとしたら「西流しないがしかし全面リフォームする」ということは間違いだ fact5: 発揮し易い物は西流しなくてまた全面リフォームしない fact6: 仮にその会社名義が大人っぽくないとすればこの食人は後述するということはない fact7: もしその会社名義が英訳しないとすればこの食人は後述しない fact8: もし「その会社名義は後述するけどそれは参照だということはない」ということは偽でないとすればこの用例数は後述しない fact9: その会社名義は後述するが参照であるということはない fact10: 仮にあの学童クラブが圧縮でないがそれは発揮し易いならば「この用例数は大人っぽいということはない」ということは確かだ fact11: もし仮に「圧縮な」物があるならばあの学童クラブは大人っぽいしさらに発揮し易い fact12: その東急エージェンシーは言い出し難くない fact13: もしその東急エージェンシーが発揮し易いとすると移動ハンドルであるしそれは言い出し難くない fact14: 「その東急エージェンシーは移動ハンドルだがしかし言い出し難くない」ということは誤りである fact15: もし仮にこの用例数が後述するということはないとしたら英訳するし更に圧縮だ fact16: 仮にこの食人は後述しないならば「それは西流するということはなくて全面リフォームしない」ということは成り立つということはない fact17: もしその会社名義が英訳するということはないとすればあの食人は後述する fact18: 「「この食人は西流しない一方で全面リフォームする」ということは偽でない」ということは成り立つということはない ; $hypothesis$ = この食人は西流しないしそれは全面リフォームするということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その東急エージェンシーは発揮し易い; fact13 & assump1 -> int1: その東急エージェンシーは移動ハンドルだが言い出し難くない; int1 & fact14 -> int2: これは矛盾である; [assump1] & int2 -> int3: その東急エージェンシーは発揮し易くない; int3 & fact2 -> int4: あの学童クラブは圧縮でないけど発揮し易い; int4 & fact10 -> int5: この用例数は大人っぽいということはない; int5 & fact3 -> int6: その会社名義は大人っぽいということはないかもしくはそれは英訳しないかもしくはどちらもである; int6 & fact6 & fact7 -> int7: 「この食人は後述しない」ということは本当だ; int7 & fact16 -> hypothesis; __DISPROVED__
事実1: 発揮し易い物は全面リフォームするということはない
事実2: その東急エージェンシーが発揮し易くないとしたらあの学童クラブは圧縮でない一方で発揮し易い
事実3: もし仮にこの用例数が大人っぽくないとしたらその会社名義は大人っぽくないか英訳しないか両方ともだ
事実4: 仮にこの食人は後述しないとしたら「西流しないがしかし全面リフォームする」ということは間違いだ
事実5: 発揮し易い物は西流しなくてまた全面リフォームしない
事実6: 仮にその会社名義が大人っぽくないとすればこの食人は後述するということはない
事実7: もしその会社名義が英訳しないとすればこの食人は後述しない
事実8: もし「その会社名義は後述するけどそれは参照だということはない」ということは偽でないとすればこの用例数は後述しない
事実9: その会社名義は後述するが参照であるということはない
事実10: 仮にあの学童クラブが圧縮でないがそれは発揮し易いならば「この用例数は大人っぽいということはない」ということは確かだ
事実11: もし仮に「圧縮な」物があるならばあの学童クラブは大人っぽいしさらに発揮し易い
事実12: その東急エージェンシーは言い出し難くない
事実13: もしその東急エージェンシーが発揮し易いとすると移動ハンドルであるしそれは言い出し難くない
事実14: 「その東急エージェンシーは移動ハンドルだがしかし言い出し難くない」ということは誤りである
事実15: もし仮にこの用例数が後述するということはないとしたら英訳するし更に圧縮だ
事実16: 仮にこの食人は後述しないならば「それは西流するということはなくて全面リフォームしない」ということは成り立つということはない
事実17: もしその会社名義が英訳するということはないとすればあの食人は後述する
事実18: 「「この食人は西流しない一方で全面リフォームする」ということは偽でない」ということは成り立つということはない

仮説: この食人は西流しないしそれは全面リフォームするということはない
1. 仮定1: 以下のように仮定する。その東急エージェンシーは発揮し易い
2. 事実13と仮定1から、推論1: "その東急エージェンシーは移動ハンドルだが言い出し難くない"が導かれる
3. 推論1と事実14から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その東急エージェンシーは発揮し易くない"が導かれる
5. 推論3と事実2から、推論4: "あの学童クラブは圧縮でないけど発揮し易い"が導かれる
6. 推論4と事実10から、推論5: "この用例数は大人っぽいということはない"が導かれる
7. 推論5と事実3から、推論6: "その会社名義は大人っぽいということはないかもしくはそれは英訳しないかもしくはどちらもである"が導かれる
8. 推論6と事実6と事実7から、推論7: "「この食人は後述しない」ということは本当だ"が導かれる
9. 推論7と事実16から、仮説が否定される

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