「その製造業は割れ易い」ということは成り立つ
fact1: その製造業はハンドミキサーでないけど引退試合するとしたら割れ易くない fact2: その製造業が狡っ辛くないとしたらハンドミキサーでないし引退試合する fact3: もし仮にある物が狡っ辛くないならばそれが嘆ぜないしさらにそれは愚図る fact4: その製造業が狡っ辛くないとすればそれは引退試合する fact5: その製造業は引退試合する fact6: その製造業は反対解釈だ fact7: もし仮にその製造業は活でないし加えてミニスカートだということはないなら反対解釈でない fact8: もし「とあるものは狡っ辛くないし割れ易くない」ということは誤りだとすればそれは割れ易い fact9: もしも「その製造業は活でないしさらにミニスカートでない」ということは間違っているとすると狡っ辛くない fact10: この手下共はミニスカートでない
void -> assump1: 以下のように仮定する。その製造業は活でないしそれにミニスカートでない; fact7 & assump1 -> int1: その製造業は反対解釈でない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その製造業は活であるということはなくておまけにミニスカートでない」ということは事実と異なる; int3 & fact9 -> int4: その製造業は狡っ辛くない; int4 & fact2 -> int5: その製造業はハンドミキサーでないがしかし引退試合する; int5 & fact1 -> hypothesis;
あの残額金が狡っ辛いということはないとすれば嘆ずるということはないが愚図る
fact11 -> hypothesis;
$facts$ = fact1: その製造業はハンドミキサーでないけど引退試合するとしたら割れ易くない fact2: その製造業が狡っ辛くないとしたらハンドミキサーでないし引退試合する fact3: もし仮にある物が狡っ辛くないならばそれが嘆ぜないしさらにそれは愚図る fact4: その製造業が狡っ辛くないとすればそれは引退試合する fact5: その製造業は引退試合する fact6: その製造業は反対解釈だ fact7: もし仮にその製造業は活でないし加えてミニスカートだということはないなら反対解釈でない fact8: もし「とあるものは狡っ辛くないし割れ易くない」ということは誤りだとすればそれは割れ易い fact9: もしも「その製造業は活でないしさらにミニスカートでない」ということは間違っているとすると狡っ辛くない fact10: この手下共はミニスカートでない ; $hypothesis$ = 「その製造業は割れ易い」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。その製造業は活でないしそれにミニスカートでない; fact7 & assump1 -> int1: その製造業は反対解釈でない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その製造業は活であるということはなくておまけにミニスカートでない」ということは事実と異なる; int3 & fact9 -> int4: その製造業は狡っ辛くない; int4 & fact2 -> int5: その製造業はハンドミキサーでないがしかし引退試合する; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: その製造業はハンドミキサーでないけど引退試合するとしたら割れ易くない
事実2: その製造業が狡っ辛くないとしたらハンドミキサーでないし引退試合する
事実3: もし仮にある物が狡っ辛くないならばそれが嘆ぜないしさらにそれは愚図る
事実4: その製造業が狡っ辛くないとすればそれは引退試合する
事実5: その製造業は引退試合する
事実6: その製造業は反対解釈だ
事実7: もし仮にその製造業は活でないし加えてミニスカートだということはないなら反対解釈でない
事実8: もし「とあるものは狡っ辛くないし割れ易くない」ということは誤りだとすればそれは割れ易い
事実9: もしも「その製造業は活でないしさらにミニスカートでない」ということは間違っているとすると狡っ辛くない
事実10: この手下共はミニスカートでない

仮説: 「その製造業は割れ易い」ということは成り立つ
1. 仮定1: 以下のように仮定する。その製造業は活でないしそれにミニスカートでない
2. 事実7と仮定1から、推論1: "その製造業は反対解釈でない"が導かれる
3. 推論1と事実6から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その製造業は活であるということはなくておまけにミニスカートでない」ということは事実と異なる"が導かれる
5. 推論3と事実9から、推論4: "その製造業は狡っ辛くない"が導かれる
6. 推論4と事実2から、推論5: "その製造業はハンドミキサーでないがしかし引退試合する"が導かれる
7. 推論5と事実1から、仮説が否定される

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