そのアンジェリカはグローブだ
fact1: もしも運転し易い物がえげつないとすれば抜け易くない fact2: もし仮にこの本殿が遠隔転移だとしたらえげつない fact3: もしあの吉原遊郭が立ち竦まないとすればこの市場社会は御笑い種でない fact4: 「この本殿は運転し易い」ということは事実である fact5: 「もし仮にそのアンジェリカが御笑い種だけれどグローブでないならあの吉原遊郭は御笑い種だ」ということは本当である fact6: 仮にあの吉原遊郭は御笑い種なら「それは立ち竦むということはないしかつそれは構成すらない」ということは嘘である fact7: あの吉原遊郭が御笑い種でないならこの市場社会は構成すらない fact8: もしあの吉原遊郭が構成すらないならそのアンジェリカは立ち竦むししかもグローブである fact9: あの吉原遊郭は立ち竦まないかあるいは構成すらないかまたは両方である fact10: もしもあの吉原遊郭が構成すということはないとすればあの市場社会は御笑い種でない fact11: なんらかのものはしょぼくないとすると「卸売り価格であるかあるいは測り難いかもしくはどちらもだ」ということは偽である fact12: 仮に何かは抜け易いということはないとすればしょぼいか大型棺だ fact13: 仮にこの市場社会が御笑い種でないとすればそのアンジェリカはグローブでない fact14: もし仮にこの市場社会が御笑い種でないが撒くとしたらあの吉原遊郭は構成すらない fact15: 仮に「あの遺族は卸売り価格であるかそれは測り難いかもしくは両方ともである」ということは間違っているとすると「このボール紙は測り難くない」ということは本当である fact16: このボール紙が測り難くないとすればあの市場社会は御笑い種でないが撒く
fact9 & fact3 & fact10 -> int1: この市場社会は御笑い種でない; int1 & fact13 -> hypothesis;
fact9 & fact3 & fact10 -> int1: ¬{C}{c}; int1 & fact13 -> hypothesis;
そのアンジェリカはグローブだ
fact22 -> int2: もしもあの遺族はしょぼくないなら「それは卸売り価格であるかあるいは測り難い」ということは偽だ; fact18 -> int3: もし仮にこの本殿が抜け易くないならばそれはしょぼいかあるいはそれは大型棺であるかまたは両方だ; fact20 -> int4: この本殿が運転し易いしその上それがえげつないならばそれは抜け易くない;
$facts$ = fact1: もしも運転し易い物がえげつないとすれば抜け易くない fact2: もし仮にこの本殿が遠隔転移だとしたらえげつない fact3: もしあの吉原遊郭が立ち竦まないとすればこの市場社会は御笑い種でない fact4: 「この本殿は運転し易い」ということは事実である fact5: 「もし仮にそのアンジェリカが御笑い種だけれどグローブでないならあの吉原遊郭は御笑い種だ」ということは本当である fact6: 仮にあの吉原遊郭は御笑い種なら「それは立ち竦むということはないしかつそれは構成すらない」ということは嘘である fact7: あの吉原遊郭が御笑い種でないならこの市場社会は構成すらない fact8: もしあの吉原遊郭が構成すらないならそのアンジェリカは立ち竦むししかもグローブである fact9: あの吉原遊郭は立ち竦まないかあるいは構成すらないかまたは両方である fact10: もしもあの吉原遊郭が構成すということはないとすればあの市場社会は御笑い種でない fact11: なんらかのものはしょぼくないとすると「卸売り価格であるかあるいは測り難いかもしくはどちらもだ」ということは偽である fact12: 仮に何かは抜け易いということはないとすればしょぼいか大型棺だ fact13: 仮にこの市場社会が御笑い種でないとすればそのアンジェリカはグローブでない fact14: もし仮にこの市場社会が御笑い種でないが撒くとしたらあの吉原遊郭は構成すらない fact15: 仮に「あの遺族は卸売り価格であるかそれは測り難いかもしくは両方ともである」ということは間違っているとすると「このボール紙は測り難くない」ということは本当である fact16: このボール紙が測り難くないとすればあの市場社会は御笑い種でないが撒く ; $hypothesis$ = そのアンジェリカはグローブだ ; $proof$ = 
fact9 & fact3 & fact10 -> int1: この市場社会は御笑い種でない; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: もしも運転し易い物がえげつないとすれば抜け易くない
事実2: もし仮にこの本殿が遠隔転移だとしたらえげつない
事実3: もしあの吉原遊郭が立ち竦まないとすればこの市場社会は御笑い種でない
事実4: 「この本殿は運転し易い」ということは事実である
事実5: 「もし仮にそのアンジェリカが御笑い種だけれどグローブでないならあの吉原遊郭は御笑い種だ」ということは本当である
事実6: 仮にあの吉原遊郭は御笑い種なら「それは立ち竦むということはないしかつそれは構成すらない」ということは嘘である
事実7: あの吉原遊郭が御笑い種でないならこの市場社会は構成すらない
事実8: もしあの吉原遊郭が構成すらないならそのアンジェリカは立ち竦むししかもグローブである
事実9: あの吉原遊郭は立ち竦まないかあるいは構成すらないかまたは両方である
事実10: もしもあの吉原遊郭が構成すということはないとすればあの市場社会は御笑い種でない
事実11: なんらかのものはしょぼくないとすると「卸売り価格であるかあるいは測り難いかもしくはどちらもだ」ということは偽である
事実12: 仮に何かは抜け易いということはないとすればしょぼいか大型棺だ
事実13: 仮にこの市場社会が御笑い種でないとすればそのアンジェリカはグローブでない
事実14: もし仮にこの市場社会が御笑い種でないが撒くとしたらあの吉原遊郭は構成すらない
事実15: 仮に「あの遺族は卸売り価格であるかそれは測り難いかもしくは両方ともである」ということは間違っているとすると「このボール紙は測り難くない」ということは本当である
事実16: このボール紙が測り難くないとすればあの市場社会は御笑い種でないが撒く

仮説: そのアンジェリカはグローブだ
1. 事実9と事実3と事実10から、推論1: "この市場社会は御笑い種でない"が導かれる
2. 推論1と事実13から、仮説が否定される

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