「「もしも浮揚するなら「生活し易くない」ということは事実な」物はある」ということは嘘である
fact1: 仮にその問題関心は狭心発作だとすると「それはゼンタ号である」ということは正しい fact2: もし「そのＯＥＣＤ加盟国は心地良くないかまたはそれは狙い易いかあるいは両方である」ということは真実でないとすると名産地である fact3: もし「この赤心は狭心発作であるかまたはそれは踏みしだくかもしくは両方ともだ」ということは本当でないとすると「貧しいということはない」ということは正しい fact4: もし「その問題関心は浮揚するかまたは展開表示するかあるいは両方ともである」ということは間違っているとすれば接尾しない fact5: 仮になにかは生活し易いならば「それは狭心発作でないかもしくは使い為さる」ということは事実と異なる fact6: 「もし仮に「なにかは狭心発作でないかまたはそれは使い為さるかあるいは両方である」ということは成り立たないなら浮揚しない」ということは成り立つ
fact5 -> int1: 仮にその問題関心は生活し易いならば「それは狭心発作でないかまたはそれは使い為さる」ということは成り立たない; void -> assump2: 以下のように仮定する。その問題関心は生活し易い; int1 & assump2 -> int2: 「その問題関心は狭心発作であるということはないかそれは使い為さるかもしくは両方ともである」ということは間違いだ; fact6 -> int3: もし仮に「「その問題関心は狭心発作でないかあるいは使い為さるかあるいは両方である」ということは偽である」ということは確かならば浮揚するということはない; int2 & int3 -> int4: 「その問題関心は浮揚しない」ということは確かである; void -> assump1: 以下のように仮定する。その問題関心は浮揚する; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「その問題関心は生活し易くない」ということは嘘でない; [assump1] & int6 -> int7: もし仮にその問題関心が浮揚するとすれば生活し易くない; int7 -> hypothesis;
$facts$ = fact1: 仮にその問題関心は狭心発作だとすると「それはゼンタ号である」ということは正しい fact2: もし「そのＯＥＣＤ加盟国は心地良くないかまたはそれは狙い易いかあるいは両方である」ということは真実でないとすると名産地である fact3: もし「この赤心は狭心発作であるかまたはそれは踏みしだくかもしくは両方ともだ」ということは本当でないとすると「貧しいということはない」ということは正しい fact4: もし「その問題関心は浮揚するかまたは展開表示するかあるいは両方ともである」ということは間違っているとすれば接尾しない fact5: 仮になにかは生活し易いならば「それは狭心発作でないかもしくは使い為さる」ということは事実と異なる fact6: 「もし仮に「なにかは狭心発作でないかまたはそれは使い為さるかあるいは両方である」ということは成り立たないなら浮揚しない」ということは成り立つ ; $hypothesis$ = 「「もしも浮揚するなら「生活し易くない」ということは事実な」物はある」ということは嘘である ; $proof$ = 
fact5 -> int1: 仮にその問題関心は生活し易いならば「それは狭心発作でないかまたはそれは使い為さる」ということは成り立たない; void -> assump2: 以下のように仮定する。その問題関心は生活し易い; int1 & assump2 -> int2: 「その問題関心は狭心発作であるということはないかそれは使い為さるかもしくは両方ともである」ということは間違いだ; fact6 -> int3: もし仮に「「その問題関心は狭心発作でないかあるいは使い為さるかあるいは両方である」ということは偽である」ということは確かならば浮揚するということはない; int2 & int3 -> int4: 「その問題関心は浮揚しない」ということは確かである; void -> assump1: 以下のように仮定する。その問題関心は浮揚する; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「その問題関心は生活し易くない」ということは嘘でない; [assump1] & int6 -> int7: もし仮にその問題関心が浮揚するとすれば生活し易くない; int7 -> hypothesis; __DISPROVED__
事実1: 仮にその問題関心は狭心発作だとすると「それはゼンタ号である」ということは正しい
事実2: もし「そのＯＥＣＤ加盟国は心地良くないかまたはそれは狙い易いかあるいは両方である」ということは真実でないとすると名産地である
事実3: もし「この赤心は狭心発作であるかまたはそれは踏みしだくかもしくは両方ともだ」ということは本当でないとすると「貧しいということはない」ということは正しい
事実4: もし「その問題関心は浮揚するかまたは展開表示するかあるいは両方ともである」ということは間違っているとすれば接尾しない
事実5: 仮になにかは生活し易いならば「それは狭心発作でないかもしくは使い為さる」ということは事実と異なる
事実6: 「もし仮に「なにかは狭心発作でないかまたはそれは使い為さるかあるいは両方である」ということは成り立たないなら浮揚しない」ということは成り立つ

仮説: 「「もしも浮揚するなら「生活し易くない」ということは事実な」物はある」ということは嘘である
1. 事実5から、推論1: "仮にその問題関心は生活し易いならば「それは狭心発作でないかまたはそれは使い為さる」ということは成り立たない"が導かれる
2. 仮定2: 以下のように仮定する。その問題関心は生活し易い
3. 推論1と仮定2から、推論2: "「その問題関心は狭心発作であるということはないかそれは使い為さるかもしくは両方ともである」ということは間違いだ"が導かれる
4. 事実6から、推論3: "もし仮に「「その問題関心は狭心発作でないかあるいは使い為さるかあるいは両方である」ということは偽である」ということは確かならば浮揚するということはない"が導かれる
5. 推論2と推論3から、推論4: "「その問題関心は浮揚しない」ということは確かである"が導かれる
6. 仮定1: 以下のように仮定する。その問題関心は浮揚する
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "「その問題関心は生活し易くない」ということは嘘でない"が導かれる
9. [仮定1]と推論6から、推論7: "もし仮にその問題関心が浮揚するとすれば生活し易くない"が導かれる
10. 推論7から、仮説が否定される

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