この牛王は手抜きしない
fact1: 面白おかしい物は削り落とす fact2: 「その現会長は削り落とさないかまたはそれは是正する」ということは成り立たない fact3: もしもこの牛王は作りでないが極まり悪いならそれはエロくない fact4: 仮にこの牛王は揮発し易くないし更に法人擬制説でないなら面白おかしくない fact5: もし仮にこの牛王は面白おかしくないならば「削り落とさないかまたはそれは極まり悪い」ということは成り立つということはない fact6: あの快気祝いは揮発し易い fact7: もしもこの牛王が削り落とさないしさらに寝苦しくないとすればそれは同情しない fact8: もし仮にこの牛王は目覚ましくないとすると「それは積り積るということはないかもしくは展開し易いかまたは両方である」ということは間違いである fact9: 仮に擽ったくない物は活動し難くないならばそれは削り落とさない fact10: この牛王は揮発し易くないしそれに法人擬制説でない fact11: 「この牛王は削り落とさないかあるいは極まり悪いかまたは両方ともだ」ということは成り立たないとしたら手抜きしない fact12: 仮にこの牛王が新規事業であるということはないけどそれが受け易いとすればそれは切なくない
fact4 & fact10 -> int1: この牛王は面白おかしくない; int1 & fact5 -> int2: 「この牛王は削り落とさないか極まり悪いかどちらもだ」ということは間違っている; int2 & fact11 -> hypothesis;
この牛王は手抜きする
fact13 -> int3: 仮にこの牛王が面白おかしいとしたらそれは削り落とす;
$facts$ = fact1: 面白おかしい物は削り落とす fact2: 「その現会長は削り落とさないかまたはそれは是正する」ということは成り立たない fact3: もしもこの牛王は作りでないが極まり悪いならそれはエロくない fact4: 仮にこの牛王は揮発し易くないし更に法人擬制説でないなら面白おかしくない fact5: もし仮にこの牛王は面白おかしくないならば「削り落とさないかまたはそれは極まり悪い」ということは成り立つということはない fact6: あの快気祝いは揮発し易い fact7: もしもこの牛王が削り落とさないしさらに寝苦しくないとすればそれは同情しない fact8: もし仮にこの牛王は目覚ましくないとすると「それは積り積るということはないかもしくは展開し易いかまたは両方である」ということは間違いである fact9: 仮に擽ったくない物は活動し難くないならばそれは削り落とさない fact10: この牛王は揮発し易くないしそれに法人擬制説でない fact11: 「この牛王は削り落とさないかあるいは極まり悪いかまたは両方ともだ」ということは成り立たないとしたら手抜きしない fact12: 仮にこの牛王が新規事業であるということはないけどそれが受け易いとすればそれは切なくない ; $hypothesis$ = この牛王は手抜きしない ; $proof$ = 
fact4 & fact10 -> int1: この牛王は面白おかしくない; int1 & fact5 -> int2: 「この牛王は削り落とさないか極まり悪いかどちらもだ」ということは間違っている; int2 & fact11 -> hypothesis; __PROVED__
事実1: 面白おかしい物は削り落とす
事実2: 「その現会長は削り落とさないかまたはそれは是正する」ということは成り立たない
事実3: もしもこの牛王は作りでないが極まり悪いならそれはエロくない
事実4: 仮にこの牛王は揮発し易くないし更に法人擬制説でないなら面白おかしくない
事実5: もし仮にこの牛王は面白おかしくないならば「削り落とさないかまたはそれは極まり悪い」ということは成り立つということはない
事実6: あの快気祝いは揮発し易い
事実7: もしもこの牛王が削り落とさないしさらに寝苦しくないとすればそれは同情しない
事実8: もし仮にこの牛王は目覚ましくないとすると「それは積り積るということはないかもしくは展開し易いかまたは両方である」ということは間違いである
事実9: 仮に擽ったくない物は活動し難くないならばそれは削り落とさない
事実10: この牛王は揮発し易くないしそれに法人擬制説でない
事実11: 「この牛王は削り落とさないかあるいは極まり悪いかまたは両方ともだ」ということは成り立たないとしたら手抜きしない
事実12: 仮にこの牛王が新規事業であるということはないけどそれが受け易いとすればそれは切なくない

仮説: この牛王は手抜きしない
1. 事実4と事実10から、推論1: "この牛王は面白おかしくない"が導かれる
2. 推論1と事実5から、推論2: "「この牛王は削り落とさないか極まり悪いかどちらもだ」ということは間違っている"が導かれる
3. 推論2と事実11から、仮説が導かれる

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