「仮に「生誕祭であるかもしくは使用し易くないかもしくは両方ともである」ということは誤っているとすると無声化し易くない」ものはある
fact1: 「「生誕祭であるか使用し易いか両方である」ということは事実でないとすれば無声化し易いということはない」ものはある fact2: 「この弁済資力は立ち塞がるか法実証主義でない」ということは間違いであるとすれば「それは生誕祭でない」ということは成り立つ fact3: 「もしも「満ち足りるかスクロールバーでない」ということは成り立たないとすれば大陸棚でない」ものはある fact4: 「もし「頼り無いか出願人でないかあるいは両方ともである」ということは成り立つということはないとしたら公害病でない」物はある fact5: 「仮に「厚しかあるいは敗れ去らないかまたは両方だ」ということは成り立つということはないとしたら移動し易くない」物はある fact6: もし「この弁済資力は生誕祭であるかあるいは使用し易くない」ということは成り立たないとしたらそれは無声化し易くない fact7: もしもこの弁済資力は生誕祭であるかまたは使用し易くないかまたは両方ともだとすると無声化し易くない fact8: 「この弁済資力は鉛フリーであるかあるいは無声化し易くない」ということは正しくないなら敗れ去らない fact9: もし仮に「この弁済資力は生誕祭であるかもしくは使用し易くない」ということは成り立たないとすると無声化し易い fact10: もし仮に「なにがしかのものは親しみ易いかあるいはそれは名付けないかどちらもだ」ということは事実と異なるなら惨めったらしくない fact11: 「もし「連結ベースであるかもしくは辻でない」ということは真実でないとすると「下りるということはない」ということは正しい」ものはある fact12: 「この弁済資力は無声化し易いか掠れないかもしくは両方だ」ということは誤っていればそれは切り易くない fact13: 「もしも「百六十万円以上であるかもしくは倉庫・中でない」ということは本当でないとすると連帯保証しない」物はある fact14: もし「あの婚儀は使用し易いかまたはそれは広がり易いということはない」ということは嘘であるとすればそれは納得し易いということはない fact15: 「もし生誕祭であるかあるいは使用し易くないかもしくは両方だとすると無声化し易くない」ものはある fact16: もし仮に「この弁済資力は見境無いかまたはそれは生誕祭でないかあるいは両方ともだ」ということは間違いであるとするとそれは前肢であるということはない fact17: もしも「この弁済資力は生誕祭であるかあるいはそれは使用し易いかもしくは両方ともである」ということは成り立たないとするとそれは無声化し易くない fact18: もし「あのトレーラーは生誕祭であるか祝前日でない」ということは成り立たないとしたらそれはアクセントコマンドでない fact19: 「もし「生誕祭であるか使用し易くないかまたは両方である」ということは成り立たないとすれば無声化し易い」物はある fact20: 「「溶け込めるかまたは見え易くないかあるいは両方である」ということは間違っているならジェネラル・ソーシャルワークでない」物はある
fact6 -> hypothesis;
「「仮に「親しみ易いかあるいは名付けるということはない」ということは事実と異なるとしたら惨めったらしくない」物はある」ということは成り立つ
fact21 -> int1: 「あの光電子スペクトルは親しみ易いかもしくは名付けないかあるいは両方だ」ということは間違いなら惨めったらしくない; int1 -> hypothesis;
$facts$ = fact1: 「「生誕祭であるか使用し易いか両方である」ということは事実でないとすれば無声化し易いということはない」ものはある fact2: 「この弁済資力は立ち塞がるか法実証主義でない」ということは間違いであるとすれば「それは生誕祭でない」ということは成り立つ fact3: 「もしも「満ち足りるかスクロールバーでない」ということは成り立たないとすれば大陸棚でない」ものはある fact4: 「もし「頼り無いか出願人でないかあるいは両方ともである」ということは成り立つということはないとしたら公害病でない」物はある fact5: 「仮に「厚しかあるいは敗れ去らないかまたは両方だ」ということは成り立つということはないとしたら移動し易くない」物はある fact6: もし「この弁済資力は生誕祭であるかあるいは使用し易くない」ということは成り立たないとしたらそれは無声化し易くない fact7: もしもこの弁済資力は生誕祭であるかまたは使用し易くないかまたは両方ともだとすると無声化し易くない fact8: 「この弁済資力は鉛フリーであるかあるいは無声化し易くない」ということは正しくないなら敗れ去らない fact9: もし仮に「この弁済資力は生誕祭であるかもしくは使用し易くない」ということは成り立たないとすると無声化し易い fact10: もし仮に「なにがしかのものは親しみ易いかあるいはそれは名付けないかどちらもだ」ということは事実と異なるなら惨めったらしくない fact11: 「もし「連結ベースであるかもしくは辻でない」ということは真実でないとすると「下りるということはない」ということは正しい」ものはある fact12: 「この弁済資力は無声化し易いか掠れないかもしくは両方だ」ということは誤っていればそれは切り易くない fact13: 「もしも「百六十万円以上であるかもしくは倉庫・中でない」ということは本当でないとすると連帯保証しない」物はある fact14: もし「あの婚儀は使用し易いかまたはそれは広がり易いということはない」ということは嘘であるとすればそれは納得し易いということはない fact15: 「もし生誕祭であるかあるいは使用し易くないかもしくは両方だとすると無声化し易くない」ものはある fact16: もし仮に「この弁済資力は見境無いかまたはそれは生誕祭でないかあるいは両方ともだ」ということは間違いであるとするとそれは前肢であるということはない fact17: もしも「この弁済資力は生誕祭であるかあるいはそれは使用し易いかもしくは両方ともである」ということは成り立たないとするとそれは無声化し易くない fact18: もし「あのトレーラーは生誕祭であるか祝前日でない」ということは成り立たないとしたらそれはアクセントコマンドでない fact19: 「もし「生誕祭であるか使用し易くないかまたは両方である」ということは成り立たないとすれば無声化し易い」物はある fact20: 「「溶け込めるかまたは見え易くないかあるいは両方である」ということは間違っているならジェネラル・ソーシャルワークでない」物はある ; $hypothesis$ = 「仮に「生誕祭であるかもしくは使用し易くないかもしくは両方ともである」ということは誤っているとすると無声化し易くない」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「「生誕祭であるか使用し易いか両方である」ということは事実でないとすれば無声化し易いということはない」ものはある
事実2: 「この弁済資力は立ち塞がるか法実証主義でない」ということは間違いであるとすれば「それは生誕祭でない」ということは成り立つ
事実3: 「もしも「満ち足りるかスクロールバーでない」ということは成り立たないとすれば大陸棚でない」ものはある
事実4: 「もし「頼り無いか出願人でないかあるいは両方ともである」ということは成り立つということはないとしたら公害病でない」物はある
事実5: 「仮に「厚しかあるいは敗れ去らないかまたは両方だ」ということは成り立つということはないとしたら移動し易くない」物はある
事実6: もし「この弁済資力は生誕祭であるかあるいは使用し易くない」ということは成り立たないとしたらそれは無声化し易くない
事実7: もしもこの弁済資力は生誕祭であるかまたは使用し易くないかまたは両方ともだとすると無声化し易くない
事実8: 「この弁済資力は鉛フリーであるかあるいは無声化し易くない」ということは正しくないなら敗れ去らない
事実9: もし仮に「この弁済資力は生誕祭であるかもしくは使用し易くない」ということは成り立たないとすると無声化し易い
事実10: もし仮に「なにがしかのものは親しみ易いかあるいはそれは名付けないかどちらもだ」ということは事実と異なるなら惨めったらしくない
事実11: 「もし「連結ベースであるかもしくは辻でない」ということは真実でないとすると「下りるということはない」ということは正しい」ものはある
事実12: 「この弁済資力は無声化し易いか掠れないかもしくは両方だ」ということは誤っていればそれは切り易くない
事実13: 「もしも「百六十万円以上であるかもしくは倉庫・中でない」ということは本当でないとすると連帯保証しない」物はある
事実14: もし「あの婚儀は使用し易いかまたはそれは広がり易いということはない」ということは嘘であるとすればそれは納得し易いということはない
事実15: 「もし生誕祭であるかあるいは使用し易くないかもしくは両方だとすると無声化し易くない」ものはある
事実16: もし仮に「この弁済資力は見境無いかまたはそれは生誕祭でないかあるいは両方ともだ」ということは間違いであるとするとそれは前肢であるということはない
事実17: もしも「この弁済資力は生誕祭であるかあるいはそれは使用し易いかもしくは両方ともである」ということは成り立たないとするとそれは無声化し易くない
事実18: もし「あのトレーラーは生誕祭であるか祝前日でない」ということは成り立たないとしたらそれはアクセントコマンドでない
事実19: 「もし「生誕祭であるか使用し易くないかまたは両方である」ということは成り立たないとすれば無声化し易い」物はある
事実20: 「「溶け込めるかまたは見え易くないかあるいは両方である」ということは間違っているならジェネラル・ソーシャルワークでない」物はある

仮説: 「仮に「生誕祭であるかもしくは使用し易くないかもしくは両方ともである」ということは誤っているとすると無声化し易くない」ものはある
1. 事実6から、仮説が導かれる

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