あの種痘は深めるかそれは行動推論だ
fact1: その雌株が前各号であるけど報道しないとするとそれは禍々しかない fact2: その雑司ヶ谷霊園は深めない fact3: あのグロスリスクは寝苦しい fact4: もしもその雌株は前各号であるしそれに報道するとしたら「禍々しかない」ということは事実である fact5: 「その雌株は前各号だけれど報道しない」ということは成り立たないとすれば「あのグロスリスクは深めない」ということは確かだ fact6: もし仮に「その雌株は行動推論だ」ということは正しいならあの種痘は行動推論だ fact7: その雌株は禍々しいし加えて毛深い fact8: もしあのグロスリスクは深めないとすると「あの種痘は深めるかまたはそれは行動推論であるかまたは両方ともだ」ということは成り立たない fact9: もし何らかのものが寝苦しいならば容易くないし油通ししない fact10: その雌株は報道しない fact11: 毛深くない物は行動推論で更に禍々しい
void -> assump1: 以下のように仮定する。その雌株が前各号だけど報道しない; fact1 & assump1 -> int1: 「その雌株は禍々しかない」ということは本当である; fact7 -> int2: その雌株は禍々しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その雌株は前各号であるけれど報道しない」ということは成り立たない; int4 & fact5 -> int5: あのグロスリスクは深めない; int5 & fact8 -> hypothesis;
あの種痘は深めるかもしくは行動推論である
fact15 -> int6: 仮にその雌株は毛深くないならそれは行動推論で更にそれは禍々しい; fact14 -> int7: あのグロスリスクが寝苦しいならば容易くないしその上油通しするということはない; int7 & fact12 -> int8: 「あのグロスリスクは容易くないし油通ししない」ということは成り立つ; int8 -> int9: 「容易くないしまた油通ししない」物はある;
$facts$ = fact1: その雌株が前各号であるけど報道しないとするとそれは禍々しかない fact2: その雑司ヶ谷霊園は深めない fact3: あのグロスリスクは寝苦しい fact4: もしもその雌株は前各号であるしそれに報道するとしたら「禍々しかない」ということは事実である fact5: 「その雌株は前各号だけれど報道しない」ということは成り立たないとすれば「あのグロスリスクは深めない」ということは確かだ fact6: もし仮に「その雌株は行動推論だ」ということは正しいならあの種痘は行動推論だ fact7: その雌株は禍々しいし加えて毛深い fact8: もしあのグロスリスクは深めないとすると「あの種痘は深めるかまたはそれは行動推論であるかまたは両方ともだ」ということは成り立たない fact9: もし何らかのものが寝苦しいならば容易くないし油通ししない fact10: その雌株は報道しない fact11: 毛深くない物は行動推論で更に禍々しい ; $hypothesis$ = あの種痘は深めるかそれは行動推論だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その雌株が前各号だけど報道しない; fact1 & assump1 -> int1: 「その雌株は禍々しかない」ということは本当である; fact7 -> int2: その雌株は禍々しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その雌株は前各号であるけれど報道しない」ということは成り立たない; int4 & fact5 -> int5: あのグロスリスクは深めない; int5 & fact8 -> hypothesis; __DISPROVED__
事実1: その雌株が前各号であるけど報道しないとするとそれは禍々しかない
事実2: その雑司ヶ谷霊園は深めない
事実3: あのグロスリスクは寝苦しい
事実4: もしもその雌株は前各号であるしそれに報道するとしたら「禍々しかない」ということは事実である
事実5: 「その雌株は前各号だけれど報道しない」ということは成り立たないとすれば「あのグロスリスクは深めない」ということは確かだ
事実6: もし仮に「その雌株は行動推論だ」ということは正しいならあの種痘は行動推論だ
事実7: その雌株は禍々しいし加えて毛深い
事実8: もしあのグロスリスクは深めないとすると「あの種痘は深めるかまたはそれは行動推論であるかまたは両方ともだ」ということは成り立たない
事実9: もし何らかのものが寝苦しいならば容易くないし油通ししない
事実10: その雌株は報道しない
事実11: 毛深くない物は行動推論で更に禍々しい

仮説: あの種痘は深めるかそれは行動推論だ
1. 仮定1: 以下のように仮定する。その雌株が前各号だけど報道しない
2. 事実1と仮定1から、推論1: "「その雌株は禍々しかない」ということは本当である"が導かれる
3. 事実7から、推論2: "その雌株は禍々しい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その雌株は前各号であるけれど報道しない」ということは成り立たない"が導かれる
6. 推論4と事実5から、推論5: "あのグロスリスクは深めない"が導かれる
7. 推論5と事実8から、仮説が否定される

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