「あの武器類は産前産後休業だ」ということは成り立つ
fact1: 何かは黙するとしたら膨れ上がる fact2: あの男女共学はカテコラミンでない fact3: もし「その骨新生は黙するということはないしそれに望み得ない」ということは成り立つということはないならあの武器類は産前産後休業だ fact4: もしあの男女共学が黙するとすればこのコメディは黙する fact5: 「その骨新生は膨れ上がるということはない」ということは確かならば「黙しなくてそれに望み得ない」ということは間違いである fact6: このコメディが黙するとしたらこの大枚は黙する fact7: もしもこの大枚は膨れ上がるとすれば「あの武器類は限り無しないがしかし甘酸っぱい」ということは成り立たない fact8: もしあの男女共学が産前産後休業であるなら黙するしそれにそれは望み得るということはない fact9: 全ての物は限り無しけど甘酸っぱくない fact10: もし仮にある物は限り無しならば「それが家庭訪問するということはないしさらに支谷でない」ということは偽だ fact11: もしあの男女共学はカテコラミンでないならそれは買い掛け債務であるししかも産前産後休業だ fact12: もしもその骨新生が限り無しが甘酸っぱくないとしたらそれは膨れ上がらない
fact9 -> int1: その骨新生は限り無しけれど甘酸っぱいということはない; int1 & fact12 -> int2: その骨新生は膨れ上がらない; int2 & fact5 -> int3: 「その骨新生は黙しないし加えて望み得ない」ということは成り立たない; int3 & fact3 -> hypothesis;
「その意欲性は家庭訪問しなくて支谷でない」ということは事実でない
fact19 -> int4: もし仮にその意欲性は限り無しとすれば「それは家庭訪問しないし更に支谷でない」ということは間違いだ; fact20 -> int5: もしこの大枚は黙するなら「それは膨れ上がる」ということは事実だ; fact15 & fact13 -> int6: あの男女共学は買い掛け債務でかつ産前産後休業である; int6 -> int7: あの男女共学は産前産後休業である; fact16 & int7 -> int8: あの男女共学は黙するけれど望み得ない; int8 -> int9: 「あの男女共学は黙する」ということは本当だ; fact17 & int9 -> int10: このコメディは黙する; fact18 & int10 -> int11: 「この大枚は黙する」ということは成り立つ; int5 & int11 -> int12: この大枚は膨れ上がる; fact14 & int12 -> int13: 「あの武器類は限り無しないがしかしそれは甘酸っぱい」ということは嘘だ; int13 -> int14: 「「限り無しということはないけど甘酸っぱい」ということは間違っている」ものはある;
$facts$ = fact1: 何かは黙するとしたら膨れ上がる fact2: あの男女共学はカテコラミンでない fact3: もし「その骨新生は黙するということはないしそれに望み得ない」ということは成り立つということはないならあの武器類は産前産後休業だ fact4: もしあの男女共学が黙するとすればこのコメディは黙する fact5: 「その骨新生は膨れ上がるということはない」ということは確かならば「黙しなくてそれに望み得ない」ということは間違いである fact6: このコメディが黙するとしたらこの大枚は黙する fact7: もしもこの大枚は膨れ上がるとすれば「あの武器類は限り無しないがしかし甘酸っぱい」ということは成り立たない fact8: もしあの男女共学が産前産後休業であるなら黙するしそれにそれは望み得るということはない fact9: 全ての物は限り無しけど甘酸っぱくない fact10: もし仮にある物は限り無しならば「それが家庭訪問するということはないしさらに支谷でない」ということは偽だ fact11: もしあの男女共学はカテコラミンでないならそれは買い掛け債務であるししかも産前産後休業だ fact12: もしもその骨新生が限り無しが甘酸っぱくないとしたらそれは膨れ上がらない ; $hypothesis$ = 「あの武器類は産前産後休業だ」ということは成り立つ ; $proof$ = 
fact9 -> int1: その骨新生は限り無しけれど甘酸っぱいということはない; int1 & fact12 -> int2: その骨新生は膨れ上がらない; int2 & fact5 -> int3: 「その骨新生は黙しないし加えて望み得ない」ということは成り立たない; int3 & fact3 -> hypothesis; __PROVED__
事実1: 何かは黙するとしたら膨れ上がる
事実2: あの男女共学はカテコラミンでない
事実3: もし「その骨新生は黙するということはないしそれに望み得ない」ということは成り立つということはないならあの武器類は産前産後休業だ
事実4: もしあの男女共学が黙するとすればこのコメディは黙する
事実5: 「その骨新生は膨れ上がるということはない」ということは確かならば「黙しなくてそれに望み得ない」ということは間違いである
事実6: このコメディが黙するとしたらこの大枚は黙する
事実7: もしもこの大枚は膨れ上がるとすれば「あの武器類は限り無しないがしかし甘酸っぱい」ということは成り立たない
事実8: もしあの男女共学が産前産後休業であるなら黙するしそれにそれは望み得るということはない
事実9: 全ての物は限り無しけど甘酸っぱくない
事実10: もし仮にある物は限り無しならば「それが家庭訪問するということはないしさらに支谷でない」ということは偽だ
事実11: もしあの男女共学はカテコラミンでないならそれは買い掛け債務であるししかも産前産後休業だ
事実12: もしもその骨新生が限り無しが甘酸っぱくないとしたらそれは膨れ上がらない

仮説: 「あの武器類は産前産後休業だ」ということは成り立つ
1. 事実9から、推論1: "その骨新生は限り無しけれど甘酸っぱいということはない"が導かれる
2. 推論1と事実12から、推論2: "その骨新生は膨れ上がらない"が導かれる
3. 推論2と事実5から、推論3: "「その骨新生は黙しないし加えて望み得ない」ということは成り立たない"が導かれる
4. 推論3と事実3から、仮説が導かれる

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