「あの胎内は引き出し易くておまけに免れ難い」ということは真実でない
fact1: もしあの心間は免れ難くないとすれば「あの胎内は引き出し易くて免れ難い」ということは間違いだ fact2: もしあるものは浴びせないしかつ換金出来ないならば人師だ fact3: 「その換価代金は秋北バス事件でないしおまけにそれは食事代でない」ということは成り立たない fact4: もし「ある物は努めなくてそれに墨でない」ということは偽であるとしたらそれは免れ難くない fact5: 「あの心間は引き出し易くないししかも免れ難くない」ということは間違っている fact6: もしあの弱点が墨でないとしたらその一部屋は努める fact7: もし「「秋北バス事件でなくてかつ食事代でない」ということは誤りである」物があるとすればあの心間は浴びせない fact8: 何らかのものは人師である fact9: 仮にその一部屋は努めるとすれば「あの胎内は免れ難い」ということは成り立つ fact10: もし「「人師だ」ということは事実な」ものはあるなら「あの心間は努めないしさらに墨でない」ということは嘘である fact11: 「あの北伐は等しない一方で換金出来る」ということは誤っている fact12: あの心間が人師であるとするとあの胎内は引き出し易い
fact8 & fact10 -> int1: 「あの心間は努めるということはなくて墨でない」ということは誤っている; fact4 -> int2: 仮に「あの心間は努めるということはなくて墨でない」ということは嘘だとしたら免れ難くない; int1 & int2 -> int3: あの心間は免れ難くない; int3 & fact1 -> hypothesis;
fact8 & fact10 -> int1: ¬(¬{B}{a} & ¬{C}{a}); fact4 -> int2: ¬(¬{B}{a} & ¬{C}{a}) -> ¬{D}{a}; int1 & int2 -> int3: ¬{D}{a}; int3 & fact1 -> hypothesis;
あの胎内は引き出し易くて免れ難い
fact19 -> int4: もしもあの心間が浴びせるということはないし加えてそれが換金出来ないとすると人師である; fact18 -> int5: 「「「秋北バス事件でないし食事代でない」ということは確かである」ということは誤りな」ものはある; int5 & fact17 -> int6: あの心間は浴びせない; fact13 -> int7: 「「等しないが換金出来る」ということは間違っている」ものはある;
$facts$ = fact1: もしあの心間は免れ難くないとすれば「あの胎内は引き出し易くて免れ難い」ということは間違いだ fact2: もしあるものは浴びせないしかつ換金出来ないならば人師だ fact3: 「その換価代金は秋北バス事件でないしおまけにそれは食事代でない」ということは成り立たない fact4: もし「ある物は努めなくてそれに墨でない」ということは偽であるとしたらそれは免れ難くない fact5: 「あの心間は引き出し易くないししかも免れ難くない」ということは間違っている fact6: もしあの弱点が墨でないとしたらその一部屋は努める fact7: もし「「秋北バス事件でなくてかつ食事代でない」ということは誤りである」物があるとすればあの心間は浴びせない fact8: 何らかのものは人師である fact9: 仮にその一部屋は努めるとすれば「あの胎内は免れ難い」ということは成り立つ fact10: もし「「人師だ」ということは事実な」ものはあるなら「あの心間は努めないしさらに墨でない」ということは嘘である fact11: 「あの北伐は等しない一方で換金出来る」ということは誤っている fact12: あの心間が人師であるとするとあの胎内は引き出し易い ; $hypothesis$ = 「あの胎内は引き出し易くておまけに免れ難い」ということは真実でない ; $proof$ = 
fact8 & fact10 -> int1: 「あの心間は努めるということはなくて墨でない」ということは誤っている; fact4 -> int2: 仮に「あの心間は努めるということはなくて墨でない」ということは嘘だとしたら免れ難くない; int1 & int2 -> int3: あの心間は免れ難くない; int3 & fact1 -> hypothesis; __PROVED__
事実1: もしあの心間は免れ難くないとすれば「あの胎内は引き出し易くて免れ難い」ということは間違いだ
事実2: もしあるものは浴びせないしかつ換金出来ないならば人師だ
事実3: 「その換価代金は秋北バス事件でないしおまけにそれは食事代でない」ということは成り立たない
事実4: もし「ある物は努めなくてそれに墨でない」ということは偽であるとしたらそれは免れ難くない
事実5: 「あの心間は引き出し易くないししかも免れ難くない」ということは間違っている
事実6: もしあの弱点が墨でないとしたらその一部屋は努める
事実7: もし「「秋北バス事件でなくてかつ食事代でない」ということは誤りである」物があるとすればあの心間は浴びせない
事実8: 何らかのものは人師である
事実9: 仮にその一部屋は努めるとすれば「あの胎内は免れ難い」ということは成り立つ
事実10: もし「「人師だ」ということは事実な」ものはあるなら「あの心間は努めないしさらに墨でない」ということは嘘である
事実11: 「あの北伐は等しない一方で換金出来る」ということは誤っている
事実12: あの心間が人師であるとするとあの胎内は引き出し易い

仮説: 「あの胎内は引き出し易くておまけに免れ難い」ということは真実でない
1. 事実8と事実10から、推論1: "「あの心間は努めるということはなくて墨でない」ということは誤っている"が導かれる
2. 事実4から、推論2: "仮に「あの心間は努めるということはなくて墨でない」ということは嘘だとしたら免れ難くない"が導かれる
3. 推論1と推論2から、推論3: "あの心間は免れ難くない"が導かれる
4. 推論3と事実1から、仮説が導かれる

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