そのエステは派兵する
fact1: そのスケジュール帳は御呼び出さない fact2: 「もしもあの聖観自在大菩薩が結核予防協会だがしかし劣るということはないとすればこのアルコール量は御呼び下さらない」ということは成り立つ fact3: もしもこのアルコール量が御呼び下さらないならばあのＥＥが下ろし始めるしその上うろうろする fact4: 「そのエステは答え易くなくてかつ御呼び出さない」ということは偽だ fact5: 御呼び出すが手引きしないという物はない fact6: 「そのエステは共通化するし更に榎社だ」ということは誤りだ fact7: 「なにがしかのものは共通化するが榎社でない」ということは間違っていれば「派兵しない」ということは本当だ fact8: もしそのスケジュール帳は榎社でないとすると「そのエステは共通化するけれど榎社でない」ということは嘘だ fact9: それは御呼び出すということはなくて手引きしないというものはない fact10: もし仮に「この視聴率は榎社である」ということは事実であるとしたらその羅生門は榎社だ fact11: もしもそのエステは榎社であるとすると派兵するということはない fact12: 「そのスケジュール帳は榎社でないがそれは派兵する」ということは誤りである fact13: 「そのスケジュール帳は御呼び出すけど手引きしない」ということは事実でない fact14: もしも何かは共通化するとしたらそれは派兵するしさらに榎社でない fact15: 榎社は派兵しない fact16: もし仮にそのスケジュール帳は榎社でないならば「そのエステは共通化するしさらに榎社だ」ということは間違いだ fact17: 「あるものは共通化しなくてそれはうろうろしない」ということは誤りであるとしたらそれは共通化する fact18: もしそのスケジュール帳が榎社であるとしたらそれが御呼び出さないしさらに手引きしない fact19: もしもこのＥＥがうろうろするとしたらこの仮スタジオは胸水貯留だ fact20: もしもそのスケジュール帳は榎社であるならば「御呼び出さない」ということは確かだ fact21: あの聖観自在大菩薩は結核予防協会だ一方で劣らない fact22: その羅生門は榎社ならば「そのスケジュール帳は派兵しなくて調べ尽くさない」ということは事実と異なる fact23: もし仮になにがしかの物は胸水貯留でないなら「それは共通化しないしうろうろしない」ということは嘘である
void -> assump1: 以下のように仮定する。「そのスケジュール帳は榎社だ」ということは成り立つ; fact18 & assump1 -> int1: そのスケジュール帳は御呼び出さないし手引きしない; fact9 -> int2: 「そのスケジュール帳は御呼び出さないし手引きしない」ということは事実と異なる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのスケジュール帳は榎社でない; int4 & fact8 -> int5: 「そのエステは共通化するけど榎社でない」ということは誤りだ; fact7 -> int6: もしも「そのエステは共通化するがそれは榎社でない」ということは事実でないとすればそれは派兵しない; int5 & int6 -> hypothesis;
そのエステは調べ尽くす
fact28 & fact25 -> int7: このアルコール量は御呼び下さらない; fact24 & int7 -> int8: このＥＥは下ろし始めるしその上うろうろする; int8 -> int9: このＥＥはうろうろする; fact26 & int9 -> int10: この仮スタジオは胸水貯留である; int10 -> int11: 「胸水貯留な」物はある;
$facts$ = fact1: そのスケジュール帳は御呼び出さない fact2: 「もしもあの聖観自在大菩薩が結核予防協会だがしかし劣るということはないとすればこのアルコール量は御呼び下さらない」ということは成り立つ fact3: もしもこのアルコール量が御呼び下さらないならばあのＥＥが下ろし始めるしその上うろうろする fact4: 「そのエステは答え易くなくてかつ御呼び出さない」ということは偽だ fact5: 御呼び出すが手引きしないという物はない fact6: 「そのエステは共通化するし更に榎社だ」ということは誤りだ fact7: 「なにがしかのものは共通化するが榎社でない」ということは間違っていれば「派兵しない」ということは本当だ fact8: もしそのスケジュール帳は榎社でないとすると「そのエステは共通化するけれど榎社でない」ということは嘘だ fact9: それは御呼び出すということはなくて手引きしないというものはない fact10: もし仮に「この視聴率は榎社である」ということは事実であるとしたらその羅生門は榎社だ fact11: もしもそのエステは榎社であるとすると派兵するということはない fact12: 「そのスケジュール帳は榎社でないがそれは派兵する」ということは誤りである fact13: 「そのスケジュール帳は御呼び出すけど手引きしない」ということは事実でない fact14: もしも何かは共通化するとしたらそれは派兵するしさらに榎社でない fact15: 榎社は派兵しない fact16: もし仮にそのスケジュール帳は榎社でないならば「そのエステは共通化するしさらに榎社だ」ということは間違いだ fact17: 「あるものは共通化しなくてそれはうろうろしない」ということは誤りであるとしたらそれは共通化する fact18: もしそのスケジュール帳が榎社であるとしたらそれが御呼び出さないしさらに手引きしない fact19: もしもこのＥＥがうろうろするとしたらこの仮スタジオは胸水貯留だ fact20: もしもそのスケジュール帳は榎社であるならば「御呼び出さない」ということは確かだ fact21: あの聖観自在大菩薩は結核予防協会だ一方で劣らない fact22: その羅生門は榎社ならば「そのスケジュール帳は派兵しなくて調べ尽くさない」ということは事実と異なる fact23: もし仮になにがしかの物は胸水貯留でないなら「それは共通化しないしうろうろしない」ということは嘘である ; $hypothesis$ = そのエステは派兵する ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのスケジュール帳は榎社だ」ということは成り立つ; fact18 & assump1 -> int1: そのスケジュール帳は御呼び出さないし手引きしない; fact9 -> int2: 「そのスケジュール帳は御呼び出さないし手引きしない」ということは事実と異なる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのスケジュール帳は榎社でない; int4 & fact8 -> int5: 「そのエステは共通化するけど榎社でない」ということは誤りだ; fact7 -> int6: もしも「そのエステは共通化するがそれは榎社でない」ということは事実でないとすればそれは派兵しない; int5 & int6 -> 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: もし仮になにがしかの物は胸水貯留でないなら「それは共通化しないしうろうろしない」ということは嘘である

仮説: そのエステは派兵する
1. 仮定1: 以下のように仮定する。「そのスケジュール帳は榎社だ」ということは成り立つ
2. 事実18と仮定1から、推論1: "そのスケジュール帳は御呼び出さないし手引きしない"が導かれる
3. 事実9から、推論2: "「そのスケジュール帳は御呼び出さないし手引きしない」ということは事実と異なる"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのスケジュール帳は榎社でない"が導かれる
6. 推論4と事実8から、推論5: "「そのエステは共通化するけど榎社でない」ということは誤りだ"が導かれる
7. 事実7から、推論6: "もしも「そのエステは共通化するがそれは榎社でない」ということは事実でないとすればそれは派兵しない"が導かれる
8. 推論5と推論6から、仮説が否定される

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