「あの反感は容器包装であるということはなくてそれはＨ形断面でない」ということは成り立つということはない
fact1: もし仮にあの記法が容器包装でないかまたはさばさばするならばあの反感は容器包装でない fact2: もし大粒はＨ形断面でないとするとそれは醜男だということはない fact3: もし仮にこの来季は毒々しいとすると「べとべとしないけれど捗る」ということは誤りである fact4: もし仮にこの来季が醜男ならさばさばするということはない fact5: この来季が捗るということはないとしたらそれは容器包装だしべとべとする fact6: もし仮になにかは退役するということはないならそれは断り難くない fact7: もしも「この来季は眠くないかＨ形断面でないかもしくはどちらもだ」ということは誤っているならばあの反感はＨ形断面でない fact8: もしもなにかは買い集めないとしたら「それは眠くないかもしくはＨ形断面であるということはないかまたはどちらもだ」ということは成り立たない fact9: 「大粒で加えて醜男な」ものはある fact10: 「あの反感は容器包装だということはないけれどＨ形断面だ」ということは事実と異なる fact11: 「悪影響である」物はある fact12: この国鉄労組は大粒である fact13: 何かは眠いがしかし買い集めない fact14: 仮に何らかの物がさばさばしないなら大粒でない fact15: もしもこの来季が容器包装ならば大粒であるがＨ形断面でない fact16: 仮にとある物がＨ形断面でないとすればさばさばしない fact17: 「この来季はべとべとしない一方で捗る」ということは成り立たないとしたらそれは買い集めない fact18: 眠くないものが買い集めないならさばさばしない fact19: 「あの反感は容器包装だ一方でＨ形断面でない」ということは事実と異なる fact20: もし仮に眠い物が買い集めないならばあの来季は醜男である fact21: この来季は大粒でないとすれば「あの反感は容器包装であるがＨ形断面でない」ということは成り立たない fact22: もしこの来季は大粒でないとすれば「「あの反感は容器包装でなくて更にＨ形断面であるということはない」ということは間違いである」ということは本当である
fact13 & fact20 -> int1: この来季は醜男だ; int1 & fact4 -> int2: この来季はさばさばしない; fact14 -> int3: もしもこの来季はさばさばしないなら「大粒でない」ということは成り立つ; int2 & int3 -> int4: この来季は大粒でない; int4 & fact22 -> hypothesis;
あの受傷後はさばさばしない
fact25 -> int5: 仮にあの受傷後は眠くないし買い集めるということはないならさばさばしない; fact24 -> int6: もしこの来季は大粒だがしかしＨ形断面であるということはないとしたら醜男でない;
$facts$ = fact1: もし仮にあの記法が容器包装でないかまたはさばさばするならばあの反感は容器包装でない fact2: もし大粒はＨ形断面でないとするとそれは醜男だということはない fact3: もし仮にこの来季は毒々しいとすると「べとべとしないけれど捗る」ということは誤りである fact4: もし仮にこの来季が醜男ならさばさばするということはない fact5: この来季が捗るということはないとしたらそれは容器包装だしべとべとする fact6: もし仮になにかは退役するということはないならそれは断り難くない fact7: もしも「この来季は眠くないかＨ形断面でないかもしくはどちらもだ」ということは誤っているならばあの反感はＨ形断面でない fact8: もしもなにかは買い集めないとしたら「それは眠くないかもしくはＨ形断面であるということはないかまたはどちらもだ」ということは成り立たない fact9: 「大粒で加えて醜男な」ものはある fact10: 「あの反感は容器包装だということはないけれどＨ形断面だ」ということは事実と異なる fact11: 「悪影響である」物はある fact12: この国鉄労組は大粒である fact13: 何かは眠いがしかし買い集めない fact14: 仮に何らかの物がさばさばしないなら大粒でない fact15: もしもこの来季が容器包装ならば大粒であるがＨ形断面でない fact16: 仮にとある物がＨ形断面でないとすればさばさばしない fact17: 「この来季はべとべとしない一方で捗る」ということは成り立たないとしたらそれは買い集めない fact18: 眠くないものが買い集めないならさばさばしない fact19: 「あの反感は容器包装だ一方でＨ形断面でない」ということは事実と異なる fact20: もし仮に眠い物が買い集めないならばあの来季は醜男である fact21: この来季は大粒でないとすれば「あの反感は容器包装であるがＨ形断面でない」ということは成り立たない fact22: もしこの来季は大粒でないとすれば「「あの反感は容器包装でなくて更にＨ形断面であるということはない」ということは間違いである」ということは本当である ; $hypothesis$ = 「あの反感は容器包装であるということはなくてそれはＨ形断面でない」ということは成り立つということはない ; $proof$ = 
fact13 & fact20 -> int1: この来季は醜男だ; int1 & fact4 -> int2: この来季はさばさばしない; fact14 -> int3: もしもこの来季はさばさばしないなら「大粒でない」ということは成り立つ; int2 & int3 -> int4: この来季は大粒でない; int4 & fact22 -> hypothesis; __PROVED__
事実1: もし仮にあの記法が容器包装でないかまたはさばさばするならばあの反感は容器包装でない
事実2: もし大粒はＨ形断面でないとするとそれは醜男だということはない
事実3: もし仮にこの来季は毒々しいとすると「べとべとしないけれど捗る」ということは誤りである
事実4: もし仮にこの来季が醜男ならさばさばするということはない
事実5: この来季が捗るということはないとしたらそれは容器包装だしべとべとする
事実6: もし仮になにかは退役するということはないならそれは断り難くない
事実7: もしも「この来季は眠くないかＨ形断面でないかもしくはどちらもだ」ということは誤っているならばあの反感はＨ形断面でない
事実8: もしもなにかは買い集めないとしたら「それは眠くないかもしくはＨ形断面であるということはないかまたはどちらもだ」ということは成り立たない
事実9: 「大粒で加えて醜男な」ものはある
事実10: 「あの反感は容器包装だということはないけれどＨ形断面だ」ということは事実と異なる
事実11: 「悪影響である」物はある
事実12: この国鉄労組は大粒である
事実13: 何かは眠いがしかし買い集めない
事実14: 仮に何らかの物がさばさばしないなら大粒でない
事実15: もしもこの来季が容器包装ならば大粒であるがＨ形断面でない
事実16: 仮にとある物がＨ形断面でないとすればさばさばしない
事実17: 「この来季はべとべとしない一方で捗る」ということは成り立たないとしたらそれは買い集めない
事実18: 眠くないものが買い集めないならさばさばしない
事実19: 「あの反感は容器包装だ一方でＨ形断面でない」ということは事実と異なる
事実20: もし仮に眠い物が買い集めないならばあの来季は醜男である
事実21: この来季は大粒でないとすれば「あの反感は容器包装であるがＨ形断面でない」ということは成り立たない
事実22: もしこの来季は大粒でないとすれば「「あの反感は容器包装でなくて更にＨ形断面であるということはない」ということは間違いである」ということは本当である

仮説: 「あの反感は容器包装であるということはなくてそれはＨ形断面でない」ということは成り立つということはない
1. 事実13と事実20から、推論1: "この来季は醜男だ"が導かれる
2. 推論1と事実4から、推論2: "この来季はさばさばしない"が導かれる
3. 事実14から、推論3: "もしもこの来季はさばさばしないなら「大粒でない」ということは成り立つ"が導かれる
4. 推論2と推論3から、推論4: "この来季は大粒でない"が導かれる
5. 推論4と事実22から、仮説が導かれる

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