「「取り戻すか成功率であるかもしくはどちらもである」ということは成り立たない」物はある
fact1: 仮にこの除草必要期間は成功率でないとすれば「「あの鳥島開拓は取り戻すかそれは成功率だ」ということは正しい」ということは成り立たない fact2: 仮にこの除草必要期間が姦通するならこのネットワーク名は成功率でない fact3: あの鳥島開拓が成功率であるならばこの除草必要期間は姦通しないが小学校区である fact4: もし仮に「あの争奪はおどろおどろしくないかまたはそれは増長だ」ということは誤っているとしたら輔弼するということはない fact5: 仮に「このネットワーク名は取り戻さない」ということは成り立つとしたらあの鳥島開拓は取り戻さない fact6: もし「あの争奪は拡大縮小しなくてそれに期し難くない」ということは本当でないとするとこの価値基準は生き易い fact7: 仮にこのネットワーク名が姦通するかそれが小学校区であるかあるいは両方だとすればこの除草必要期間は成功率でない fact8: 「取り戻さない」物はある fact9: このネットワーク名は姦通する fact10: この価値基準が生き易いとするとあの鳥島開拓は頼り無くない成功率だ fact11: もしこの除草必要期間は姦通するということはないなら「このネットワーク名は取り戻すかもしくはそれは困難化するかまたはどちらもである」ということは偽だ fact12: もし仮にある物は山崩れだとすると「おどろおどろしくないかあるいは増長であるかもしくは両方だ」ということは成り立たない fact13: 仮にあの争奪は輔弼しないならば「それは拡大縮小しないしおまけに期し難くない」ということは成り立たない
fact9 -> int1: このネットワーク名は姦通するかあるいは小学校区であるかあるいは両方だ; int1 & fact7 -> int2: この除草必要期間は成功率でない; int2 & fact1 -> int3: 「あの鳥島開拓は取り戻すかまたはそれは成功率であるかあるいは両方ともだ」ということは事実と異なる; int3 -> hypothesis;
「このネットワーク名は取り戻すかあるいは困難化する」ということは間違っている
fact15 -> int4: もしもあの争奪は山崩れなら「おどろおどろしくないかもしくは増長であるかもしくは両方ともだ」ということは成り立たない;
$facts$ = fact1: 仮にこの除草必要期間は成功率でないとすれば「「あの鳥島開拓は取り戻すかそれは成功率だ」ということは正しい」ということは成り立たない fact2: 仮にこの除草必要期間が姦通するならこのネットワーク名は成功率でない fact3: あの鳥島開拓が成功率であるならばこの除草必要期間は姦通しないが小学校区である fact4: もし仮に「あの争奪はおどろおどろしくないかまたはそれは増長だ」ということは誤っているとしたら輔弼するということはない fact5: 仮に「このネットワーク名は取り戻さない」ということは成り立つとしたらあの鳥島開拓は取り戻さない fact6: もし「あの争奪は拡大縮小しなくてそれに期し難くない」ということは本当でないとするとこの価値基準は生き易い fact7: 仮にこのネットワーク名が姦通するかそれが小学校区であるかあるいは両方だとすればこの除草必要期間は成功率でない fact8: 「取り戻さない」物はある fact9: このネットワーク名は姦通する fact10: この価値基準が生き易いとするとあの鳥島開拓は頼り無くない成功率だ fact11: もしこの除草必要期間は姦通するということはないなら「このネットワーク名は取り戻すかもしくはそれは困難化するかまたはどちらもである」ということは偽だ fact12: もし仮にある物は山崩れだとすると「おどろおどろしくないかあるいは増長であるかもしくは両方だ」ということは成り立たない fact13: 仮にあの争奪は輔弼しないならば「それは拡大縮小しないしおまけに期し難くない」ということは成り立たない ; $hypothesis$ = 「「取り戻すか成功率であるかもしくはどちらもである」ということは成り立たない」物はある ; $proof$ = 
fact9 -> int1: このネットワーク名は姦通するかあるいは小学校区であるかあるいは両方だ; int1 & fact7 -> int2: この除草必要期間は成功率でない; int2 & fact1 -> int3: 「あの鳥島開拓は取り戻すかまたはそれは成功率であるかあるいは両方ともだ」ということは事実と異なる; int3 -> hypothesis; __PROVED__
事実1: 仮にこの除草必要期間は成功率でないとすれば「「あの鳥島開拓は取り戻すかそれは成功率だ」ということは正しい」ということは成り立たない
事実2: 仮にこの除草必要期間が姦通するならこのネットワーク名は成功率でない
事実3: あの鳥島開拓が成功率であるならばこの除草必要期間は姦通しないが小学校区である
事実4: もし仮に「あの争奪はおどろおどろしくないかまたはそれは増長だ」ということは誤っているとしたら輔弼するということはない
事実5: 仮に「このネットワーク名は取り戻さない」ということは成り立つとしたらあの鳥島開拓は取り戻さない
事実6: もし「あの争奪は拡大縮小しなくてそれに期し難くない」ということは本当でないとするとこの価値基準は生き易い
事実7: 仮にこのネットワーク名が姦通するかそれが小学校区であるかあるいは両方だとすればこの除草必要期間は成功率でない
事実8: 「取り戻さない」物はある
事実9: このネットワーク名は姦通する
事実10: この価値基準が生き易いとするとあの鳥島開拓は頼り無くない成功率だ
事実11: もしこの除草必要期間は姦通するということはないなら「このネットワーク名は取り戻すかもしくはそれは困難化するかまたはどちらもである」ということは偽だ
事実12: もし仮にある物は山崩れだとすると「おどろおどろしくないかあるいは増長であるかもしくは両方だ」ということは成り立たない
事実13: 仮にあの争奪は輔弼しないならば「それは拡大縮小しないしおまけに期し難くない」ということは成り立たない

仮説: 「「取り戻すか成功率であるかもしくはどちらもである」ということは成り立たない」物はある
1. 事実9から、推論1: "このネットワーク名は姦通するかあるいは小学校区であるかあるいは両方だ"が導かれる
2. 推論1と事実7から、推論2: "この除草必要期間は成功率でない"が導かれる
3. 推論2と事実1から、推論3: "「あの鳥島開拓は取り戻すかまたはそれは成功率であるかあるいは両方ともだ」ということは事実と異なる"が導かれる
4. 推論3から、仮説が導かれる

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