そのＭＨは酔い潰れるし抽象する
fact1: 仮にあるものがカクテル・グラスでないとすれば恥じ入らないかあるいはそれは詠ずるということはないかまたは両方ともだ fact2: もしもあの大元はごっつかないとするとそのＭＨはだらし無いがしかし耄碌しない fact3: 仮にだらし無いものが耄碌しないとすればそれは振るい続けない fact4: 仮にこの四十肩がカクテル・グラスであるしおまけに淀ならこの経営資源分析はカクテル・グラスであるということはない fact5: もし仮にこのＡＢＡは振るい続けるということはないなら「そのＭＨは酔い潰れるしさらに抽象する」ということは真実でない fact6: このＡＢＡは振るい続けない fact7: 仮にそのＭＨは振るい続けないとすれば「このＡＢＡは腎性尿崩症でその上寒し」ということは成り立たない
fact5 & fact6 -> hypothesis;
「このＡＢＡは腎性尿崩症であるし寒し」ということは嘘だ
fact11 -> int1: 仮にそのＭＨはだらし無い一方で耄碌しないとしたらそれは振るい続けない; fact8 -> int2: 「もしも「この経営資源分析はカクテル・グラスでない」ということは成り立つならこの経営資源分析は恥じ入らないか詠ぜないかまたは両方ともだ」ということは正しい;
$facts$ = fact1: 仮にあるものがカクテル・グラスでないとすれば恥じ入らないかあるいはそれは詠ずるということはないかまたは両方ともだ fact2: もしもあの大元はごっつかないとするとそのＭＨはだらし無いがしかし耄碌しない fact3: 仮にだらし無いものが耄碌しないとすればそれは振るい続けない fact4: 仮にこの四十肩がカクテル・グラスであるしおまけに淀ならこの経営資源分析はカクテル・グラスであるということはない fact5: もし仮にこのＡＢＡは振るい続けるということはないなら「そのＭＨは酔い潰れるしさらに抽象する」ということは真実でない fact6: このＡＢＡは振るい続けない fact7: 仮にそのＭＨは振るい続けないとすれば「このＡＢＡは腎性尿崩症でその上寒し」ということは成り立たない ; $hypothesis$ = そのＭＨは酔い潰れるし抽象する ; $proof$ = 
fact5 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にあるものがカクテル・グラスでないとすれば恥じ入らないかあるいはそれは詠ずるということはないかまたは両方ともだ
事実2: もしもあの大元はごっつかないとするとそのＭＨはだらし無いがしかし耄碌しない
事実3: 仮にだらし無いものが耄碌しないとすればそれは振るい続けない
事実4: 仮にこの四十肩がカクテル・グラスであるしおまけに淀ならこの経営資源分析はカクテル・グラスであるということはない
事実5: もし仮にこのＡＢＡは振るい続けるということはないなら「そのＭＨは酔い潰れるしさらに抽象する」ということは真実でない
事実6: このＡＢＡは振るい続けない
事実7: 仮にそのＭＨは振るい続けないとすれば「このＡＢＡは腎性尿崩症でその上寒し」ということは成り立たない

仮説: そのＭＨは酔い潰れるし抽象する
1. 事実5と事実6から、仮説が否定される

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