その平均直径は排泄しない
fact1: そのドクター・ノーは辻である fact2: あの二号館は辻であるということはなくてそれは任せ切らない fact3: その平均直径は言い訳がましいということはない fact4: 仮に「あの二号館はみみっちくない一方で逃散する」ということは事実と異なれば「あの整備計画は逃散しない」ということは事実である fact5: 仮にある物は収去するなら「みみっちくないけど逃散する」ということは偽だ fact6: 「その平均直径は後らしくない」ということは事実だ fact7: 仮にその平均直径が排泄するし辻であるならあの二号館は収去しない fact8: 仮に「みみっちくない」物があるとしたらあの二号館は逃散しなくてかつそれは収去するということはない fact9: 「その平均直径は早起き出来ない」ということは事実である fact10: もしもそのドクター・ノーがみみっちいし加えて辻であるとすればその平均直径は排泄しない fact11: あの二号館は逃散するということはないししかも収去しないとすればそれは後らしくない fact12: 「みみっちくない」ものがあればそのドクター・ノーは収去しない fact13: その平均直径は逃散するということはない fact14: あの二号館は辻でないし晴れがましいということはない fact15: そのドクター・ノーは排泄しない fact16: 仮にそのドクター・ノーがみみっちいしそれに排泄すればあの二号館は後らしくない fact17: そのドクター・ノーがみみっちくておまけに排泄するとすればあの二号館は収去しない fact18: あの二号館は後らしい
void -> assump1: 以下のように仮定する。そのドクター・ノーはみみっちくない; assump1 -> int1: 「みみっちいということはない」物はある; int1 & fact8 -> int2: あの二号館は逃散しなくて収去するということはない; int2 & fact11 -> int3: あの二号館は後らしくない; int3 & fact18 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのドクター・ノーはみみっちい; int5 & fact1 -> int6: そのドクター・ノーはみみっちいしそれに辻だ; int6 & fact10 -> hypothesis;
あの整備計画は逃散するということはない
fact19 -> int7: もし仮にあの二号館は収去すれば「みみっちいということはないが逃散する」ということは偽だ;
$facts$ = fact1: そのドクター・ノーは辻である fact2: あの二号館は辻であるということはなくてそれは任せ切らない fact3: その平均直径は言い訳がましいということはない fact4: 仮に「あの二号館はみみっちくない一方で逃散する」ということは事実と異なれば「あの整備計画は逃散しない」ということは事実である fact5: 仮にある物は収去するなら「みみっちくないけど逃散する」ということは偽だ fact6: 「その平均直径は後らしくない」ということは事実だ fact7: 仮にその平均直径が排泄するし辻であるならあの二号館は収去しない fact8: 仮に「みみっちくない」物があるとしたらあの二号館は逃散しなくてかつそれは収去するということはない fact9: 「その平均直径は早起き出来ない」ということは事実である fact10: もしもそのドクター・ノーがみみっちいし加えて辻であるとすればその平均直径は排泄しない fact11: あの二号館は逃散するということはないししかも収去しないとすればそれは後らしくない fact12: 「みみっちくない」ものがあればそのドクター・ノーは収去しない fact13: その平均直径は逃散するということはない fact14: あの二号館は辻でないし晴れがましいということはない fact15: そのドクター・ノーは排泄しない fact16: 仮にそのドクター・ノーがみみっちいしそれに排泄すればあの二号館は後らしくない fact17: そのドクター・ノーがみみっちくておまけに排泄するとすればあの二号館は収去しない fact18: あの二号館は後らしい ; $hypothesis$ = その平均直径は排泄しない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのドクター・ノーはみみっちくない; assump1 -> int1: 「みみっちいということはない」物はある; int1 & fact8 -> int2: あの二号館は逃散しなくて収去するということはない; int2 & fact11 -> int3: あの二号館は後らしくない; int3 & fact18 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのドクター・ノーはみみっちい; int5 & fact1 -> int6: そのドクター・ノーはみみっちいしそれに辻だ; int6 & fact10 -> hypothesis; __PROVED__
事実1: そのドクター・ノーは辻である
事実2: あの二号館は辻であるということはなくてそれは任せ切らない
事実3: その平均直径は言い訳がましいということはない
事実4: 仮に「あの二号館はみみっちくない一方で逃散する」ということは事実と異なれば「あの整備計画は逃散しない」ということは事実である
事実5: 仮にある物は収去するなら「みみっちくないけど逃散する」ということは偽だ
事実6: 「その平均直径は後らしくない」ということは事実だ
事実7: 仮にその平均直径が排泄するし辻であるならあの二号館は収去しない
事実8: 仮に「みみっちくない」物があるとしたらあの二号館は逃散しなくてかつそれは収去するということはない
事実9: 「その平均直径は早起き出来ない」ということは事実である
事実10: もしもそのドクター・ノーがみみっちいし加えて辻であるとすればその平均直径は排泄しない
事実11: あの二号館は逃散するということはないししかも収去しないとすればそれは後らしくない
事実12: 「みみっちくない」ものがあればそのドクター・ノーは収去しない
事実13: その平均直径は逃散するということはない
事実14: あの二号館は辻でないし晴れがましいということはない
事実15: そのドクター・ノーは排泄しない
事実16: 仮にそのドクター・ノーがみみっちいしそれに排泄すればあの二号館は後らしくない
事実17: そのドクター・ノーがみみっちくておまけに排泄するとすればあの二号館は収去しない
事実18: あの二号館は後らしい

仮説: その平均直径は排泄しない
1. 仮定1: 以下のように仮定する。そのドクター・ノーはみみっちくない
2. 仮定1から、推論1: "「みみっちいということはない」物はある"が導かれる
3. 推論1と事実8から、推論2: "あの二号館は逃散しなくて収去するということはない"が導かれる
4. 推論2と事実11から、推論3: "あの二号館は後らしくない"が導かれる
5. 推論3と事実18から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "そのドクター・ノーはみみっちい"が導かれる
7. 推論5と事実1から、推論6: "そのドクター・ノーはみみっちいしそれに辻だ"が導かれる
8. 推論6と事実10から、仮説が導かれる

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