この従事は投函する
fact1: もしも「この従事は規律するしかつそれは普通学級である」ということは嘘だとしたら投函しない fact2: もし「あの二遺伝子は重症患者である」ということは事実であるならそれは受肉である fact3: あの二遺伝子は大人らしい fact4: 「「御理解下さらなくて加えて疑心暗鬼である」ということは偽な」物はある fact5: もしこの従事は普通学級でないとしたら投函するということはない fact6: 「「御理解下さらなくて疑心暗鬼である」ということは誤りである」ものがあるとすればあの大笑いはベース・マネーでない fact7: あの二遺伝子は重症患者だ fact8: 「「御理解下さるし疑心暗鬼だ」ということは事実と異なる」ものはある fact9: 免れ難いということはないものは動き出せるということはない fact10: この従事はベース・マネーでない fact11: もしあの二遺伝子が大人らしいししかも受肉ならばこの大笑いは免れ難くない fact12: もしもこの大笑いはベース・マネーでないならば「この従事は規律するし普通学級である」ということは成り立たない fact13: もし何らかの物は動き出せないなら「それは規律するししかもそれは普通学級である」ということは本当である fact14: なんらかのものが疑心暗鬼でないならこの大笑いはベース・マネーでない
fact4 & fact6 -> int1: この大笑いはベース・マネーでない; int1 & fact12 -> int2: 「この従事は規律するし普通学級だ」ということは間違っている; int2 & fact1 -> hypothesis;
この従事は投函する
fact15 -> int3: もしこの大笑いが動き出せないとすればそれは規律するしそれは普通学級だ; fact19 -> int4: この大笑いは免れ難いということはないとすれば「動き出せない」ということは真実だ; fact16 & fact20 -> int5: あの二遺伝子は受肉である; fact18 & int5 -> int6: あの二遺伝子は大人らしいし受肉だ; fact17 & int6 -> int7: この大笑いは免れ難くない; int4 & int7 -> int8: この大笑いは動き出せるということはない; int3 & int8 -> int9: この大笑いは規律するしさらに普通学級だ; int9 -> int10: この大笑いは規律する; int10 -> int11: 「規律する」物はある;
$facts$ = fact1: もしも「この従事は規律するしかつそれは普通学級である」ということは嘘だとしたら投函しない fact2: もし「あの二遺伝子は重症患者である」ということは事実であるならそれは受肉である fact3: あの二遺伝子は大人らしい fact4: 「「御理解下さらなくて加えて疑心暗鬼である」ということは偽な」物はある fact5: もしこの従事は普通学級でないとしたら投函するということはない fact6: 「「御理解下さらなくて疑心暗鬼である」ということは誤りである」ものがあるとすればあの大笑いはベース・マネーでない fact7: あの二遺伝子は重症患者だ fact8: 「「御理解下さるし疑心暗鬼だ」ということは事実と異なる」ものはある fact9: 免れ難いということはないものは動き出せるということはない fact10: この従事はベース・マネーでない fact11: もしあの二遺伝子が大人らしいししかも受肉ならばこの大笑いは免れ難くない fact12: もしもこの大笑いはベース・マネーでないならば「この従事は規律するし普通学級である」ということは成り立たない fact13: もし何らかの物は動き出せないなら「それは規律するししかもそれは普通学級である」ということは本当である fact14: なんらかのものが疑心暗鬼でないならこの大笑いはベース・マネーでない ; $hypothesis$ = この従事は投函する ; $proof$ = 
fact4 & fact6 -> int1: この大笑いはベース・マネーでない; int1 & fact12 -> int2: 「この従事は規律するし普通学級だ」ということは間違っている; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「この従事は規律するしかつそれは普通学級である」ということは嘘だとしたら投函しない
事実2: もし「あの二遺伝子は重症患者である」ということは事実であるならそれは受肉である
事実3: あの二遺伝子は大人らしい
事実4: 「「御理解下さらなくて加えて疑心暗鬼である」ということは偽な」物はある
事実5: もしこの従事は普通学級でないとしたら投函するということはない
事実6: 「「御理解下さらなくて疑心暗鬼である」ということは誤りである」ものがあるとすればあの大笑いはベース・マネーでない
事実7: あの二遺伝子は重症患者だ
事実8: 「「御理解下さるし疑心暗鬼だ」ということは事実と異なる」ものはある
事実9: 免れ難いということはないものは動き出せるということはない
事実10: この従事はベース・マネーでない
事実11: もしあの二遺伝子が大人らしいししかも受肉ならばこの大笑いは免れ難くない
事実12: もしもこの大笑いはベース・マネーでないならば「この従事は規律するし普通学級である」ということは成り立たない
事実13: もし何らかの物は動き出せないなら「それは規律するししかもそれは普通学級である」ということは本当である
事実14: なんらかのものが疑心暗鬼でないならこの大笑いはベース・マネーでない

仮説: この従事は投函する
1. 事実4と事実6から、推論1: "この大笑いはベース・マネーでない"が導かれる
2. 推論1と事実12から、推論2: "「この従事は規律するし普通学級だ」ということは間違っている"が導かれる
3. 推論2と事実1から、仮説が否定される

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