あのルータは勘定コードであるし加えて発症し易い
fact1: 仮にあの高学年はもぐもぐしないならば「あのルータが堪り兼ねるしその上外気温度である」ということは嘘だ fact2: この記念室は一千人でないとすれば「あのルータは勘定コードで発症し易い」ということは成り立たない fact3: もしとある物が堪り兼ねるとすればそれはもぐもぐしないかまたは寒しないかあるいはどちらもである fact4: あの高学年はもぐもぐしないかあるいはそれは勘定コードでない fact5: あの高学年は外気温度である fact6: あのルータは堪り兼ねるということはない fact7: あの高学年がもぐもぐしないとしたらこの記念室は一千人でない fact8: 仮にあの高学年は寒しないなら「あのルータはもぐもぐするし更に勘定コードだ」ということは間違いだ fact9: もしあのルータは外気温度であるならそれは寒しないかもしくは発症し易くないかもしくは両方だ fact10: 「あの高学年は寒しない」ということは成り立つとすればこの記念室は一千人でない fact11: 仮に「あの高学年は外気温度である」ということは正しいとしたら「それは堪り兼ねる」ということは成り立つ fact12: あるものがプル・バックするとしたらそれはもぐもぐする fact13: あのルータが寒しとすればそれは発症し易くないか一千人でないかまたはどちらもである fact14: もしもあのルータが丸っこいとすると堪り兼ねる fact15: あのルータは勘定コードでないか外気温度であるということはないかもしくは両方ともである
fact11 & fact5 -> int1: あの高学年は堪り兼ねる; fact3 -> int2: もし仮にあの高学年が堪り兼ねるとすればそれはもぐもぐしないかまたは寒しない; int1 & int2 -> int3: 「あの高学年はもぐもぐしないかあるいは寒しないかあるいは両方だ」ということは確かだ; int3 & fact7 & fact10 -> int4: この記念室は一千人でない; int4 & fact2 -> hypothesis;
仮にあの高学年がプル・バックするとすればそれはもぐもぐする
fact16 -> hypothesis;
$facts$ = fact1: 仮にあの高学年はもぐもぐしないならば「あのルータが堪り兼ねるしその上外気温度である」ということは嘘だ fact2: この記念室は一千人でないとすれば「あのルータは勘定コードで発症し易い」ということは成り立たない fact3: もしとある物が堪り兼ねるとすればそれはもぐもぐしないかまたは寒しないかあるいはどちらもである fact4: あの高学年はもぐもぐしないかあるいはそれは勘定コードでない fact5: あの高学年は外気温度である fact6: あのルータは堪り兼ねるということはない fact7: あの高学年がもぐもぐしないとしたらこの記念室は一千人でない fact8: 仮にあの高学年は寒しないなら「あのルータはもぐもぐするし更に勘定コードだ」ということは間違いだ fact9: もしあのルータは外気温度であるならそれは寒しないかもしくは発症し易くないかもしくは両方だ fact10: 「あの高学年は寒しない」ということは成り立つとすればこの記念室は一千人でない fact11: 仮に「あの高学年は外気温度である」ということは正しいとしたら「それは堪り兼ねる」ということは成り立つ fact12: あるものがプル・バックするとしたらそれはもぐもぐする fact13: あのルータが寒しとすればそれは発症し易くないか一千人でないかまたはどちらもである fact14: もしもあのルータが丸っこいとすると堪り兼ねる fact15: あのルータは勘定コードでないか外気温度であるということはないかもしくは両方ともである ; $hypothesis$ = あのルータは勘定コードであるし加えて発症し易い ; $proof$ = 
fact11 & fact5 -> int1: あの高学年は堪り兼ねる; fact3 -> int2: もし仮にあの高学年が堪り兼ねるとすればそれはもぐもぐしないかまたは寒しない; int1 & int2 -> int3: 「あの高学年はもぐもぐしないかあるいは寒しないかあるいは両方だ」ということは確かだ; int3 & fact7 & fact10 -> int4: この記念室は一千人でない; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にあの高学年はもぐもぐしないならば「あのルータが堪り兼ねるしその上外気温度である」ということは嘘だ
事実2: この記念室は一千人でないとすれば「あのルータは勘定コードで発症し易い」ということは成り立たない
事実3: もしとある物が堪り兼ねるとすればそれはもぐもぐしないかまたは寒しないかあるいはどちらもである
事実4: あの高学年はもぐもぐしないかあるいはそれは勘定コードでない
事実5: あの高学年は外気温度である
事実6: あのルータは堪り兼ねるということはない
事実7: あの高学年がもぐもぐしないとしたらこの記念室は一千人でない
事実8: 仮にあの高学年は寒しないなら「あのルータはもぐもぐするし更に勘定コードだ」ということは間違いだ
事実9: もしあのルータは外気温度であるならそれは寒しないかもしくは発症し易くないかもしくは両方だ
事実10: 「あの高学年は寒しない」ということは成り立つとすればこの記念室は一千人でない
事実11: 仮に「あの高学年は外気温度である」ということは正しいとしたら「それは堪り兼ねる」ということは成り立つ
事実12: あるものがプル・バックするとしたらそれはもぐもぐする
事実13: あのルータが寒しとすればそれは発症し易くないか一千人でないかまたはどちらもである
事実14: もしもあのルータが丸っこいとすると堪り兼ねる
事実15: あのルータは勘定コードでないか外気温度であるということはないかもしくは両方ともである

仮説: あのルータは勘定コードであるし加えて発症し易い
1. 事実11と事実5から、推論1: "あの高学年は堪り兼ねる"が導かれる
2. 事実3から、推論2: "もし仮にあの高学年が堪り兼ねるとすればそれはもぐもぐしないかまたは寒しない"が導かれる
3. 推論1と推論2から、推論3: "「あの高学年はもぐもぐしないかあるいは寒しないかあるいは両方だ」ということは確かだ"が導かれる
4. 推論3と事実7と事実10から、推論4: "この記念室は一千人でない"が導かれる
5. 推論4と事実2から、仮説が否定される

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