あの退職手当て共済契約は旨くないかまたは入れ難い
fact1: もしもその割り引き料が入れ難くないとするとあの退職手当て共済契約はチャオである fact2: あの退職手当て共済契約は旨いけど地中海世界でない fact3: 仮になんらかのものが旨くてまた入れ難いとすればそれは地中海世界でない fact4: あの退職手当て共済契約はチャオである fact5: 仮にあのレディスが素晴らしくないとするとあの退職手当て共済契約は入れ難いし売り続ける fact6: その割り引き料は法律制度だ fact7: その割り引き料はチャオだ一方で地中海世界でない fact8: あの退職手当て共済契約は素晴らしい fact9: もし「その割り引き料は法律制度である」ということは真実だとすればあの退職手当て共済契約は旨い fact10: もしその割り引き料は地中海世界だということはないとすると「あの退職手当て共済契約は旨くないかもしくは入れ難いかもしくは両方ともである」ということは成り立つということはない
fact7 -> int1: 「その割り引き料は地中海世界でない」ということは事実だ; int1 & fact10 -> hypothesis;
fact7 -> int1: ¬{B}{a}; int1 & fact10 -> hypothesis;
「あの退職手当て共済契約は捗るということはないかそれはチャオだ」ということは間違いだ
fact13 -> int2: もしもあの退職手当て共済契約が旨いしまたそれが入れ難いとすればそれは地中海世界でない; fact14 & fact12 -> int3: あの退職手当て共済契約は旨い;
$facts$ = fact1: もしもその割り引き料が入れ難くないとするとあの退職手当て共済契約はチャオである fact2: あの退職手当て共済契約は旨いけど地中海世界でない fact3: 仮になんらかのものが旨くてまた入れ難いとすればそれは地中海世界でない fact4: あの退職手当て共済契約はチャオである fact5: 仮にあのレディスが素晴らしくないとするとあの退職手当て共済契約は入れ難いし売り続ける fact6: その割り引き料は法律制度だ fact7: その割り引き料はチャオだ一方で地中海世界でない fact8: あの退職手当て共済契約は素晴らしい fact9: もし「その割り引き料は法律制度である」ということは真実だとすればあの退職手当て共済契約は旨い fact10: もしその割り引き料は地中海世界だということはないとすると「あの退職手当て共済契約は旨くないかもしくは入れ難いかもしくは両方ともである」ということは成り立つということはない ; $hypothesis$ = あの退職手当て共済契約は旨くないかまたは入れ難い ; $proof$ = 
fact7 -> int1: 「その割り引き料は地中海世界でない」ということは事実だ; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: もしもその割り引き料が入れ難くないとするとあの退職手当て共済契約はチャオである
事実2: あの退職手当て共済契約は旨いけど地中海世界でない
事実3: 仮になんらかのものが旨くてまた入れ難いとすればそれは地中海世界でない
事実4: あの退職手当て共済契約はチャオである
事実5: 仮にあのレディスが素晴らしくないとするとあの退職手当て共済契約は入れ難いし売り続ける
事実6: その割り引き料は法律制度だ
事実7: その割り引き料はチャオだ一方で地中海世界でない
事実8: あの退職手当て共済契約は素晴らしい
事実9: もし「その割り引き料は法律制度である」ということは真実だとすればあの退職手当て共済契約は旨い
事実10: もしその割り引き料は地中海世界だということはないとすると「あの退職手当て共済契約は旨くないかもしくは入れ難いかもしくは両方ともである」ということは成り立つということはない

仮説: あの退職手当て共済契約は旨くないかまたは入れ難い
1. 事実7から、推論1: "「その割り引き料は地中海世界でない」ということは事実だ"が導かれる
2. 推論1と事実10から、仮説が否定される

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