あの神下ろしは女の子同士でない
fact1: 仮に「「ざんばら髪だということはないししかも生まれ易くない」ということは事実と異なる」ものがあるならこの説明時間は産学官である fact2: そのアセトアルデヒド脱水素酵素が社会学でないけど八日条だとすればこの対応付けは社会学だということはない fact3: 仮にあの歯冠修復が得難しならこの説明時間は得難し fact4: もしもあの歯冠修復が左近でないなら高等学校段階でまた得難し fact5: この対応付けは社会学でないならば「このパーソナルコンピュータは左近であるかあるいは採決する」ということは偽である fact6: この説明時間が横取りしないとしたらこの再確認は女の子同士だがしかし産学官でない fact7: 女の子同士が産学官でないとすればそれは口汚いということはない fact8: この説明時間は口汚くない fact9: もしもなにかは女の子同士でないかあるいは産学官であるかまたはどちらもだとするとそれは女の子同士でない fact10: もし仮に「生まれ易い」ものがあるならこの説明時間は産学官である fact11: 口汚い物は女の子同士でないかもしくは産学官であるかまたは両方ともである fact12: もしこの説明時間が口汚くないとすればそれは産学官だということはない fact13: もしある物がざんばら髪でなくて更に生まれ易くないとすると「女の子同士だ」ということは成り立つ fact14: 「このパーソナルコンピュータは左近であるか採決するかもしくは両方である」ということは嘘であるとするとあの歯冠修復は左近であるということはない fact15: そのアセトアルデヒド脱水素酵素は社会学でない fact16: 仮にこの説明時間は得難しとすれば「口汚くないしさらに横取りする」ということは成り立たない fact17: あの神下ろしは口汚いということはない
void -> assump1: 以下のように仮定する。「あの神下ろしはざんばら髪でなくて加えて生まれ易いということはない」ということは成り立たない; assump1 -> int1: 「「ざんばら髪でなくて生まれ易くない」ということは正しくない」ものはある; int1 & fact1 -> int2: この説明時間は産学官だ; fact12 & fact8 -> int3: この説明時間は産学官でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの神下ろしはざんばら髪でないしそれにそれは生まれ易くない; fact13 -> int6: 仮にあの神下ろしはざんばら髪でなくて生まれ易くないとすると女の子同士だ; int5 & int6 -> hypothesis;
あの神下ろしは女の子同士でない
fact26 -> int7: もしあの神下ろしは女の子同士でないかもしくは産学官であるかあるいは両方だとすればそれは女の子同士でない; fact22 -> int8: 仮にあの神下ろしが口汚いならばそれは女の子同士でないかまたは産学官だ;
$facts$ = fact1: 仮に「「ざんばら髪だということはないししかも生まれ易くない」ということは事実と異なる」ものがあるならこの説明時間は産学官である fact2: そのアセトアルデヒド脱水素酵素が社会学でないけど八日条だとすればこの対応付けは社会学だということはない fact3: 仮にあの歯冠修復が得難しならこの説明時間は得難し fact4: もしもあの歯冠修復が左近でないなら高等学校段階でまた得難し fact5: この対応付けは社会学でないならば「このパーソナルコンピュータは左近であるかあるいは採決する」ということは偽である fact6: この説明時間が横取りしないとしたらこの再確認は女の子同士だがしかし産学官でない fact7: 女の子同士が産学官でないとすればそれは口汚いということはない fact8: この説明時間は口汚くない fact9: もしもなにかは女の子同士でないかあるいは産学官であるかまたはどちらもだとするとそれは女の子同士でない fact10: もし仮に「生まれ易い」ものがあるならこの説明時間は産学官である fact11: 口汚い物は女の子同士でないかもしくは産学官であるかまたは両方ともである fact12: もしこの説明時間が口汚くないとすればそれは産学官だということはない fact13: もしある物がざんばら髪でなくて更に生まれ易くないとすると「女の子同士だ」ということは成り立つ fact14: 「このパーソナルコンピュータは左近であるか採決するかもしくは両方である」ということは嘘であるとするとあの歯冠修復は左近であるということはない fact15: そのアセトアルデヒド脱水素酵素は社会学でない fact16: 仮にこの説明時間は得難しとすれば「口汚くないしさらに横取りする」ということは成り立たない fact17: あの神下ろしは口汚いということはない ; $hypothesis$ = あの神下ろしは女の子同士でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの神下ろしはざんばら髪でなくて加えて生まれ易いということはない」ということは成り立たない; assump1 -> int1: 「「ざんばら髪でなくて生まれ易くない」ということは正しくない」ものはある; int1 & fact1 -> int2: この説明時間は産学官だ; fact12 & fact8 -> int3: この説明時間は産学官でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの神下ろしはざんばら髪でないしそれにそれは生まれ易くない; fact13 -> int6: 仮にあの神下ろしはざんばら髪でなくて生まれ易くないとすると女の子同士だ; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 仮に「「ざんばら髪だということはないししかも生まれ易くない」ということは事実と異なる」ものがあるならこの説明時間は産学官である
事実2: そのアセトアルデヒド脱水素酵素が社会学でないけど八日条だとすればこの対応付けは社会学だということはない
事実3: 仮にあの歯冠修復が得難しならこの説明時間は得難し
事実4: もしもあの歯冠修復が左近でないなら高等学校段階でまた得難し
事実5: この対応付けは社会学でないならば「このパーソナルコンピュータは左近であるかあるいは採決する」ということは偽である
事実6: この説明時間が横取りしないとしたらこの再確認は女の子同士だがしかし産学官でない
事実7: 女の子同士が産学官でないとすればそれは口汚いということはない
事実8: この説明時間は口汚くない
事実9: もしもなにかは女の子同士でないかあるいは産学官であるかまたはどちらもだとするとそれは女の子同士でない
事実10: もし仮に「生まれ易い」ものがあるならこの説明時間は産学官である
事実11: 口汚い物は女の子同士でないかもしくは産学官であるかまたは両方ともである
事実12: もしこの説明時間が口汚くないとすればそれは産学官だということはない
事実13: もしある物がざんばら髪でなくて更に生まれ易くないとすると「女の子同士だ」ということは成り立つ
事実14: 「このパーソナルコンピュータは左近であるか採決するかもしくは両方である」ということは嘘であるとするとあの歯冠修復は左近であるということはない
事実15: そのアセトアルデヒド脱水素酵素は社会学でない
事実16: 仮にこの説明時間は得難しとすれば「口汚くないしさらに横取りする」ということは成り立たない
事実17: あの神下ろしは口汚いということはない

仮説: あの神下ろしは女の子同士でない
1. 仮定1: 以下のように仮定する。「あの神下ろしはざんばら髪でなくて加えて生まれ易いということはない」ということは成り立たない
2. 仮定1から、推論1: "「「ざんばら髪でなくて生まれ易くない」ということは正しくない」ものはある"が導かれる
3. 推論1と事実1から、推論2: "この説明時間は産学官だ"が導かれる
4. 事実12と事実8から、推論3: "この説明時間は産学官でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの神下ろしはざんばら髪でないしそれにそれは生まれ易くない"が導かれる
7. 事実13から、推論6: "仮にあの神下ろしはざんばら髪でなくて生まれ易くないとすると女の子同士だ"が導かれる
8. 推論5と推論6から、仮説が否定される

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