この祝祷は成城学園前でない
fact1: 仮に何らかの物は捻り上げるならそれは行儀良くないしその上ちゅうするということはない fact2: そのＫ子がちゅうするとするとこの説明変数はすばしっこい fact3: あの仕事全体は行儀良い fact4: 行儀良い物はすばしっこい fact5: もしなにかはすばしっこいとしたら「それは製作出来るということはないしそれにそれは無理無い」ということは成り立たない fact6: もし仮にこの水麗人が行儀良いならこの祝祷は成城学園前である fact7: そのＫ子は捻り上げるかあるいはちゅうするかまたは両方ともである fact8: この説明変数が行儀良くなくてそれがちゅうするということはないならあの仕事全体は行儀良い fact9: もし仮にあの仕事全体が製作出来るということはないかもしくはそれが無理無いかもしくはどちらもだとしたらこの説明変数はすばしっこくない fact10: 仮にそのＫ子が捻り上げるとするとこの説明変数はすばしっこい fact11: あの仕事全体が無理無いならこの説明変数はすばしっこくない fact12: もし「あの仕事全体は製作出来る」ということは確かだとすればこの水麗人は行儀良い
void -> assump1: 以下のように仮定する。あの仕事全体は製作出来るということはない; assump1 -> int1: あの仕事全体は製作出来ないかもしくは無理無いかまたはどちらもだ; int1 & fact9 -> int2: この説明変数はすばしっこいということはない; fact2 & fact7 & fact10 -> int3: この説明変数はすばしっこい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの仕事全体は製作出来る; int5 & fact12 -> int6: この水麗人は行儀良い; int6 & fact6 -> hypothesis;
この祝祷は成城学園前でない
fact15 -> int7: 仮にあの仕事全体はすばしっこいとしたら「製作出来るということはないし無理無い」ということは誤りだ; fact16 -> int8: 仮にあの仕事全体が行儀良いとするとそれはすばしっこい; fact13 -> int9: 「仮に「この説明変数は捻り上げる」ということは成り立つとしたらこの説明変数は行儀良くないしさらにちゅうしない」ということは事実だ;
$facts$ = fact1: 仮に何らかの物は捻り上げるならそれは行儀良くないしその上ちゅうするということはない fact2: そのＫ子がちゅうするとするとこの説明変数はすばしっこい fact3: あの仕事全体は行儀良い fact4: 行儀良い物はすばしっこい fact5: もしなにかはすばしっこいとしたら「それは製作出来るということはないしそれにそれは無理無い」ということは成り立たない fact6: もし仮にこの水麗人が行儀良いならこの祝祷は成城学園前である fact7: そのＫ子は捻り上げるかあるいはちゅうするかまたは両方ともである fact8: この説明変数が行儀良くなくてそれがちゅうするということはないならあの仕事全体は行儀良い fact9: もし仮にあの仕事全体が製作出来るということはないかもしくはそれが無理無いかもしくはどちらもだとしたらこの説明変数はすばしっこくない fact10: 仮にそのＫ子が捻り上げるとするとこの説明変数はすばしっこい fact11: あの仕事全体が無理無いならこの説明変数はすばしっこくない fact12: もし「あの仕事全体は製作出来る」ということは確かだとすればこの水麗人は行儀良い ; $hypothesis$ = この祝祷は成城学園前でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの仕事全体は製作出来るということはない; assump1 -> int1: あの仕事全体は製作出来ないかもしくは無理無いかまたはどちらもだ; int1 & fact9 -> int2: この説明変数はすばしっこいということはない; fact2 & fact7 & fact10 -> int3: この説明変数はすばしっこい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの仕事全体は製作出来る; int5 & fact12 -> int6: この水麗人は行儀良い; int6 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮に何らかの物は捻り上げるならそれは行儀良くないしその上ちゅうするということはない
事実2: そのＫ子がちゅうするとするとこの説明変数はすばしっこい
事実3: あの仕事全体は行儀良い
事実4: 行儀良い物はすばしっこい
事実5: もしなにかはすばしっこいとしたら「それは製作出来るということはないしそれにそれは無理無い」ということは成り立たない
事実6: もし仮にこの水麗人が行儀良いならこの祝祷は成城学園前である
事実7: そのＫ子は捻り上げるかあるいはちゅうするかまたは両方ともである
事実8: この説明変数が行儀良くなくてそれがちゅうするということはないならあの仕事全体は行儀良い
事実9: もし仮にあの仕事全体が製作出来るということはないかもしくはそれが無理無いかもしくはどちらもだとしたらこの説明変数はすばしっこくない
事実10: 仮にそのＫ子が捻り上げるとするとこの説明変数はすばしっこい
事実11: あの仕事全体が無理無いならこの説明変数はすばしっこくない
事実12: もし「あの仕事全体は製作出来る」ということは確かだとすればこの水麗人は行儀良い

仮説: この祝祷は成城学園前でない
1. 仮定1: 以下のように仮定する。あの仕事全体は製作出来るということはない
2. 仮定1から、推論1: "あの仕事全体は製作出来ないかもしくは無理無いかまたはどちらもだ"が導かれる
3. 推論1と事実9から、推論2: "この説明変数はすばしっこいということはない"が導かれる
4. 事実2と事実7と事実10から、推論3: "この説明変数はすばしっこい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの仕事全体は製作出来る"が導かれる
7. 推論5と事実12から、推論6: "この水麗人は行儀良い"が導かれる
8. 推論6と事実6から、仮説が否定される

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