「その生命は学習法でない一方でそれは助産婦だ」ということは偽である
fact1: この近代国家は倍額でない fact2: もし仮にあの各取り締まり役がリストアップしないならこのビニール線は助産婦でないかまたはそれは助からない fact3: もし仮にこのビニール線は助産婦であるということはないならば「この近代国家は助かるけど当たり易くない」ということは誤っている fact4: 「「この玉類は倍額でないがしかしそれは酔う」ということは成り立たない」ということは成り立つ fact5: 倍額は学習法だ fact6: もし「あの各取り締まり役が戦士達だということはないしさらに格闘スタイルでない」ということは真実でないならばこのビニール線は戦士達だ fact7: この被災地住民は助かる fact8: 「その生命は学習法で助産婦である」ということは偽である fact9: 仮にこの近代国家が学習法だとしたらその身の上は学習法だ fact10: もしもあの日本語有りは助産婦でないなら「その生命は学習法でないけれど助産婦である」ということは誤りだ fact11: もし仮にあの各取り締まり役が助かるしさらに相互作用し合うとするとあの日本語有りは助産婦でない fact12: あの日本語有りは格闘スタイルでない fact13: もしもこのビニール線が助産婦でないとすればこの近代国家は相互作用し合わない fact14: もし仮にこの近代国家が倍額でないならばこのビニール線は当たり易い fact15: もしなにがしかの物が相互作用し合うということはないなら倍額で当たり易い fact16: もしもとあるものは伸すとしたら「戦士達でなくてそれはリストアップする」ということは誤りだ fact17: 仮に「「戦士達でないしリストアップする」ということは偽な」ものがあるとすればあの各取り締まり役はリストアップしない fact18: この近代国家が当たり易いならその生命は倍額である fact19: もし仮にあの各取り締まり役は共するということはないなら「それは戦士達でないし格闘スタイルでない」ということは間違いである fact20: あの眉目秀麗は助かる fact21: もしもこのビニール線が当たり易いとするとあの各取り締まり役は相互作用し合う fact22: もしあの眉目秀麗は助かるとしたら「あの各取り締まり役は助かる」ということは間違っていない fact23: もしあの日本語有りが格闘スタイルであるということはないならば伸すしそれは共する fact24: もし「あの日本語有りは助産婦でない」ということは確かだとしたら「その生命は学習法であるし助産婦である」ということは事実と異なる fact25: もしもこのビニール線が伸すかあるいは戦士達だとすればこの近代国家はリストアップしない fact26: もしも何らかの物が助かるかもしくはそれは相互作用し合わないかもしくは両方ともであるとすると当たり易い
fact14 & fact1 -> int1: このビニール線は当たり易い; int1 & fact21 -> int2: あの各取り締まり役は相互作用し合う; fact22 & fact20 -> int3: あの各取り締まり役は助かる; int2 & int3 -> int4: あの各取り締まり役は助かるし相互作用し合う; int4 & fact11 -> int5: あの日本語有りは助産婦でない; int5 & fact10 -> hypothesis;
あの日本語有りは相互作用し合わない
$facts$ = fact1: この近代国家は倍額でない fact2: もし仮にあの各取り締まり役がリストアップしないならこのビニール線は助産婦でないかまたはそれは助からない fact3: もし仮にこのビニール線は助産婦であるということはないならば「この近代国家は助かるけど当たり易くない」ということは誤っている fact4: 「「この玉類は倍額でないがしかしそれは酔う」ということは成り立たない」ということは成り立つ fact5: 倍額は学習法だ fact6: もし「あの各取り締まり役が戦士達だということはないしさらに格闘スタイルでない」ということは真実でないならばこのビニール線は戦士達だ fact7: この被災地住民は助かる fact8: 「その生命は学習法で助産婦である」ということは偽である fact9: 仮にこの近代国家が学習法だとしたらその身の上は学習法だ fact10: もしもあの日本語有りは助産婦でないなら「その生命は学習法でないけれど助産婦である」ということは誤りだ fact11: もし仮にあの各取り締まり役が助かるしさらに相互作用し合うとするとあの日本語有りは助産婦でない fact12: あの日本語有りは格闘スタイルでない fact13: もしもこのビニール線が助産婦でないとすればこの近代国家は相互作用し合わない fact14: もし仮にこの近代国家が倍額でないならばこのビニール線は当たり易い fact15: もしなにがしかの物が相互作用し合うということはないなら倍額で当たり易い fact16: もしもとあるものは伸すとしたら「戦士達でなくてそれはリストアップする」ということは誤りだ fact17: 仮に「「戦士達でないしリストアップする」ということは偽な」ものがあるとすればあの各取り締まり役はリストアップしない fact18: この近代国家が当たり易いならその生命は倍額である fact19: もし仮にあの各取り締まり役は共するということはないなら「それは戦士達でないし格闘スタイルでない」ということは間違いである fact20: あの眉目秀麗は助かる fact21: もしもこのビニール線が当たり易いとするとあの各取り締まり役は相互作用し合う fact22: もしあの眉目秀麗は助かるとしたら「あの各取り締まり役は助かる」ということは間違っていない fact23: もしあの日本語有りが格闘スタイルであるということはないならば伸すしそれは共する fact24: もし「あの日本語有りは助産婦でない」ということは確かだとしたら「その生命は学習法であるし助産婦である」ということは事実と異なる fact25: もしもこのビニール線が伸すかあるいは戦士達だとすればこの近代国家はリストアップしない fact26: もしも何らかの物が助かるかもしくはそれは相互作用し合わないかもしくは両方ともであるとすると当たり易い ; $hypothesis$ = 「その生命は学習法でない一方でそれは助産婦だ」ということは偽である ; $proof$ = 
fact14 & fact1 -> int1: このビニール線は当たり易い; int1 & fact21 -> int2: あの各取り締まり役は相互作用し合う; fact22 & fact20 -> int3: あの各取り締まり役は助かる; int2 & int3 -> int4: あの各取り締まり役は助かるし相互作用し合う; int4 & fact11 -> int5: あの日本語有りは助産婦でない; int5 & fact10 -> hypothesis; __PROVED__
事実1: この近代国家は倍額でない
事実2: もし仮にあの各取り締まり役がリストアップしないならこのビニール線は助産婦でないかまたはそれは助からない
事実3: もし仮にこのビニール線は助産婦であるということはないならば「この近代国家は助かるけど当たり易くない」ということは誤っている
事実4: 「「この玉類は倍額でないがしかしそれは酔う」ということは成り立たない」ということは成り立つ
事実5: 倍額は学習法だ
事実6: もし「あの各取り締まり役が戦士達だということはないしさらに格闘スタイルでない」ということは真実でないならばこのビニール線は戦士達だ
事実7: この被災地住民は助かる
事実8: 「その生命は学習法で助産婦である」ということは偽である
事実9: 仮にこの近代国家が学習法だとしたらその身の上は学習法だ
事実10: もしもあの日本語有りは助産婦でないなら「その生命は学習法でないけれど助産婦である」ということは誤りだ
事実11: もし仮にあの各取り締まり役が助かるしさらに相互作用し合うとするとあの日本語有りは助産婦でない
事実12: あの日本語有りは格闘スタイルでない
事実13: もしもこのビニール線が助産婦でないとすればこの近代国家は相互作用し合わない
事実14: もし仮にこの近代国家が倍額でないならばこのビニール線は当たり易い
事実15: もしなにがしかの物が相互作用し合うということはないなら倍額で当たり易い
事実16: もしもとあるものは伸すとしたら「戦士達でなくてそれはリストアップする」ということは誤りだ
事実17: 仮に「「戦士達でないしリストアップする」ということは偽な」ものがあるとすればあの各取り締まり役はリストアップしない
事実18: この近代国家が当たり易いならその生命は倍額である
事実19: もし仮にあの各取り締まり役は共するということはないなら「それは戦士達でないし格闘スタイルでない」ということは間違いである
事実20: あの眉目秀麗は助かる
事実21: もしもこのビニール線が当たり易いとするとあの各取り締まり役は相互作用し合う
事実22: もしあの眉目秀麗は助かるとしたら「あの各取り締まり役は助かる」ということは間違っていない
事実23: もしあの日本語有りが格闘スタイルであるということはないならば伸すしそれは共する
事実24: もし「あの日本語有りは助産婦でない」ということは確かだとしたら「その生命は学習法であるし助産婦である」ということは事実と異なる
事実25: もしもこのビニール線が伸すかあるいは戦士達だとすればこの近代国家はリストアップしない
事実26: もしも何らかの物が助かるかもしくはそれは相互作用し合わないかもしくは両方ともであるとすると当たり易い

仮説: 「その生命は学習法でない一方でそれは助産婦だ」ということは偽である
1. 事実14と事実1から、推論1: "このビニール線は当たり易い"が導かれる
2. 推論1と事実21から、推論2: "あの各取り締まり役は相互作用し合う"が導かれる
3. 事実22と事実20から、推論3: "あの各取り締まり役は助かる"が導かれる
4. 推論2と推論3から、推論4: "あの各取り締まり役は助かるし相互作用し合う"が導かれる
5. 推論4と事実11から、推論5: "あの日本語有りは助産婦でない"が導かれる
6. 推論5と事実10から、仮説が導かれる

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