「もし「結び付き難くないかもしくは送達でないかまたはどちらもだ」ということは間違っているなら「調べ易い」ということは誤っていない」ものはある
fact1: もし「その読書レディネスは大日経でないかまたは蒔き付けるということはないかまたはどちらもだ」ということは成り立たないとすればそれは送達だ fact2: もし仮に「なにかは衛星中継でないかまたはそれは凄くないかまたは両方ともだ」ということは成り立たないとするとそれは取り出す fact3: 「仮に「結び付き難いかもしくは送達でないか両方ともである」ということは嘘ならば調べ易い」ものはある fact4: もし仮に「その読書レディネスは結び付き難いかあるいは送達でない」ということは成り立たないとすれば調べ易い fact5: 「「「結び付き難いということはないかもしくは送達であるか両方ともだ」ということは真実である」ということは嘘であるとすると「調べ易い」ということは本当な」物はある fact6: 「その読書レディネスは結び付き難くないかもしくは送達であるかもしくは両方である」ということは成り立たないとするとそれは調べ易い fact7: もし「その読書レディネスは結び付き難くないかもしくはそれは送達でない」ということは成り立たないとしたらそれは調べ易い fact8: もしも「「その読書レディネスは根気強くないかあるいは送達でないかどちらもである」ということは誤りだ」ということは事実だとしたら旅する fact9: もし「その外張り断熱は投球時でないかあるいは調べ易くないかあるいは両方である」ということは事実と異なるとしたらそれは注入形態である fact10: 仮にその読書レディネスが結び付き難くないかまたは送達でないとするとそれは調べ易い fact11: 「仮に結び付き難くないかまたは送達でないなら調べ易い」ものはある
fact7 -> hypothesis;
「もしも「衛星中継でないかあるいは凄くないかまたは両方だ」ということは誤りであるとしたら取り出す」ものはある
fact12 -> int1: もし仮に「あの雇用保険財政は衛星中継でないかあるいは凄くないかまたは両方ともだ」ということは誤りなら「取り出す」ということは事実である; int1 -> hypothesis;
$facts$ = fact1: もし「その読書レディネスは大日経でないかまたは蒔き付けるということはないかまたはどちらもだ」ということは成り立たないとすればそれは送達だ fact2: もし仮に「なにかは衛星中継でないかまたはそれは凄くないかまたは両方ともだ」ということは成り立たないとするとそれは取り出す fact3: 「仮に「結び付き難いかもしくは送達でないか両方ともである」ということは嘘ならば調べ易い」ものはある fact4: もし仮に「その読書レディネスは結び付き難いかあるいは送達でない」ということは成り立たないとすれば調べ易い fact5: 「「「結び付き難いということはないかもしくは送達であるか両方ともだ」ということは真実である」ということは嘘であるとすると「調べ易い」ということは本当な」物はある fact6: 「その読書レディネスは結び付き難くないかもしくは送達であるかもしくは両方である」ということは成り立たないとするとそれは調べ易い fact7: もし「その読書レディネスは結び付き難くないかもしくはそれは送達でない」ということは成り立たないとしたらそれは調べ易い fact8: もしも「「その読書レディネスは根気強くないかあるいは送達でないかどちらもである」ということは誤りだ」ということは事実だとしたら旅する fact9: もし「その外張り断熱は投球時でないかあるいは調べ易くないかあるいは両方である」ということは事実と異なるとしたらそれは注入形態である fact10: 仮にその読書レディネスが結び付き難くないかまたは送達でないとするとそれは調べ易い fact11: 「仮に結び付き難くないかまたは送達でないなら調べ易い」ものはある ; $hypothesis$ = 「もし「結び付き難くないかもしくは送達でないかまたはどちらもだ」ということは間違っているなら「調べ易い」ということは誤っていない」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もし「その読書レディネスは大日経でないかまたは蒔き付けるということはないかまたはどちらもだ」ということは成り立たないとすればそれは送達だ
事実2: もし仮に「なにかは衛星中継でないかまたはそれは凄くないかまたは両方ともだ」ということは成り立たないとするとそれは取り出す
事実3: 「仮に「結び付き難いかもしくは送達でないか両方ともである」ということは嘘ならば調べ易い」ものはある
事実4: もし仮に「その読書レディネスは結び付き難いかあるいは送達でない」ということは成り立たないとすれば調べ易い
事実5: 「「「結び付き難いということはないかもしくは送達であるか両方ともだ」ということは真実である」ということは嘘であるとすると「調べ易い」ということは本当な」物はある
事実6: 「その読書レディネスは結び付き難くないかもしくは送達であるかもしくは両方である」ということは成り立たないとするとそれは調べ易い
事実7: もし「その読書レディネスは結び付き難くないかもしくはそれは送達でない」ということは成り立たないとしたらそれは調べ易い
事実8: もしも「「その読書レディネスは根気強くないかあるいは送達でないかどちらもである」ということは誤りだ」ということは事実だとしたら旅する
事実9: もし「その外張り断熱は投球時でないかあるいは調べ易くないかあるいは両方である」ということは事実と異なるとしたらそれは注入形態である
事実10: 仮にその読書レディネスが結び付き難くないかまたは送達でないとするとそれは調べ易い
事実11: 「仮に結び付き難くないかまたは送達でないなら調べ易い」ものはある

仮説: 「もし「結び付き難くないかもしくは送達でないかまたはどちらもだ」ということは間違っているなら「調べ易い」ということは誤っていない」ものはある
1. 事実7から、仮説が導かれる

よって、仮説が証明されました。