「「もし仮に腐敗するか東京グリーンでないかあるいは両方であるとすると例外無い」物はある」ということは真実でない
fact1: もしもこの御賽銭がアメリカ産業であるかそれが抜き難いとしたら東京グリーンだ fact2: 「もし仮に見窄らしいかもしくは生え易いということはないかあるいは両方なら通勤費である」物はある fact3: 「もし仮に東京グリーンでないなら「例外無い」ということは成り立つ」ものはある fact4: もしある物は腐敗するかもしくは東京グリーンであるということはないかもしくは両方ともであるなら例外無い fact5: もし仮にこの養蚕農家が東京グリーンであるかまたは金運でないかもしくは両方だとしたら「それは含み笑いである」ということは本当だ fact6: 仮に「この御賽銭は東京グリーンであるかまたはそれはボーダーであるかあるいはどちらもだ」ということは成り立つとすると小難しい fact7: 「もしも「撤回するかまたは避け難いか両方である」ということは事実であるとすれば上唇挙筋である」ものはある fact8: もし仮にあの船中が間違え易いとすると神学生である
fact4 -> int1: もしもこの御賽銭が腐敗するかもしくは東京グリーンでないならば例外無い; int1 -> hypothesis;
$facts$ = fact1: もしもこの御賽銭がアメリカ産業であるかそれが抜き難いとしたら東京グリーンだ fact2: 「もし仮に見窄らしいかもしくは生え易いということはないかあるいは両方なら通勤費である」物はある fact3: 「もし仮に東京グリーンでないなら「例外無い」ということは成り立つ」ものはある fact4: もしある物は腐敗するかもしくは東京グリーンであるということはないかもしくは両方ともであるなら例外無い fact5: もし仮にこの養蚕農家が東京グリーンであるかまたは金運でないかもしくは両方だとしたら「それは含み笑いである」ということは本当だ fact6: 仮に「この御賽銭は東京グリーンであるかまたはそれはボーダーであるかあるいはどちらもだ」ということは成り立つとすると小難しい fact7: 「もしも「撤回するかまたは避け難いか両方である」ということは事実であるとすれば上唇挙筋である」ものはある fact8: もし仮にあの船中が間違え易いとすると神学生である ; $hypothesis$ = 「「もし仮に腐敗するか東京グリーンでないかあるいは両方であるとすると例外無い」物はある」ということは真実でない ; $proof$ = 
fact4 -> int1: もしもこの御賽銭が腐敗するかもしくは東京グリーンでないならば例外無い; int1 -> hypothesis; __DISPROVED__
事実1: もしもこの御賽銭がアメリカ産業であるかそれが抜き難いとしたら東京グリーンだ
事実2: 「もし仮に見窄らしいかもしくは生え易いということはないかあるいは両方なら通勤費である」物はある
事実3: 「もし仮に東京グリーンでないなら「例外無い」ということは成り立つ」ものはある
事実4: もしある物は腐敗するかもしくは東京グリーンであるということはないかもしくは両方ともであるなら例外無い
事実5: もし仮にこの養蚕農家が東京グリーンであるかまたは金運でないかもしくは両方だとしたら「それは含み笑いである」ということは本当だ
事実6: 仮に「この御賽銭は東京グリーンであるかまたはそれはボーダーであるかあるいはどちらもだ」ということは成り立つとすると小難しい
事実7: 「もしも「撤回するかまたは避け難いか両方である」ということは事実であるとすれば上唇挙筋である」ものはある
事実8: もし仮にあの船中が間違え易いとすると神学生である

仮説: 「「もし仮に腐敗するか東京グリーンでないかあるいは両方であるとすると例外無い」物はある」ということは真実でない
1. 事実4から、推論1: "もしもこの御賽銭が腐敗するかもしくは東京グリーンでないならば例外無い"が導かれる
2. 推論1から、仮説が否定される

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