この利用度は子供っぽくない
fact1: もしなんらかの物は女性らしくないとしたら「得易いがしかし生え易くない」ということは成り立つということはない fact2: もしもこの利用度がか弱いなら子供っぽい fact3: もし仮に「あの関係作りは理由中でないけれど追加料金だ」ということは偽であるならあのナタは女性らしくない fact4: もしなんらかのものが概算しないとするとあの日系移民は基礎教育であるかもしくはそれは概算しないかまたは両方である fact5: 仮に「あのナタは得易い一方でそれは生え易くない」ということは間違いだとしたらそれは基礎教育でない fact6: 「あのナタは得易いししかも生え易い」ということは成り立たない fact7: この軸装は概算しない fact8: この不入りは概算しない fact9: あの日系移民は基礎教育でないとしたら「女性らしいがしかし厚しない」ということは成り立たない fact10: 仮にあの日系移民が基礎教育でないかもしくは概算するということはないかどちらもであるとするとあのナタは基礎教育である fact11: もしなんらかのものが概算しないとすればあの日系移民は基礎教育でないかそれは概算しないかまたは両方だ fact12: あの関係作りが理由中だということはないが追加料金であるとするとこの利用度は厚し fact13: もし仮にこの利用度が厚しならばそれはか弱い
void -> assump1: 以下のように仮定する。「あの関係作りは理由中だということはないけれど追加料金だ」ということは嘘だ; fact3 & assump1 -> int1: あのナタは女性らしくない; fact1 -> int2: もし仮にあのナタは女性らしくないとすれば「得易いがしかし生え易いということはない」ということは誤りである; int1 & int2 -> int3: 「あのナタは得易いけど生え易くない」ということは間違いである; int3 & fact5 -> int4: あのナタは基礎教育でない; fact8 -> int5: 「「概算しない」ということは本当である」物はある; fact11 & int5 -> int6: あの日系移民は基礎教育でないかまたは概算しないかもしくは両方ともだ; fact10 & int6 -> int7: あのナタは基礎教育である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの関係作りは理由中でないけど追加料金だ; int9 & fact12 -> int10: 「この利用度は厚し」ということは成り立つ; int10 & fact13 -> int11: この利用度はか弱い; int11 & fact2 -> hypothesis;
$facts$ = fact1: もしなんらかの物は女性らしくないとしたら「得易いがしかし生え易くない」ということは成り立つということはない fact2: もしもこの利用度がか弱いなら子供っぽい fact3: もし仮に「あの関係作りは理由中でないけれど追加料金だ」ということは偽であるならあのナタは女性らしくない fact4: もしなんらかのものが概算しないとするとあの日系移民は基礎教育であるかもしくはそれは概算しないかまたは両方である fact5: 仮に「あのナタは得易い一方でそれは生え易くない」ということは間違いだとしたらそれは基礎教育でない fact6: 「あのナタは得易いししかも生え易い」ということは成り立たない fact7: この軸装は概算しない fact8: この不入りは概算しない fact9: あの日系移民は基礎教育でないとしたら「女性らしいがしかし厚しない」ということは成り立たない fact10: 仮にあの日系移民が基礎教育でないかもしくは概算するということはないかどちらもであるとするとあのナタは基礎教育である fact11: もしなんらかのものが概算しないとすればあの日系移民は基礎教育でないかそれは概算しないかまたは両方だ fact12: あの関係作りが理由中だということはないが追加料金であるとするとこの利用度は厚し fact13: もし仮にこの利用度が厚しならばそれはか弱い ; $hypothesis$ = この利用度は子供っぽくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの関係作りは理由中だということはないけれど追加料金だ」ということは嘘だ; fact3 & assump1 -> int1: あのナタは女性らしくない; fact1 -> int2: もし仮にあのナタは女性らしくないとすれば「得易いがしかし生え易いということはない」ということは誤りである; int1 & int2 -> int3: 「あのナタは得易いけど生え易くない」ということは間違いである; int3 & fact5 -> int4: あのナタは基礎教育でない; fact8 -> int5: 「「概算しない」ということは本当である」物はある; fact11 & int5 -> int6: あの日系移民は基礎教育でないかまたは概算しないかもしくは両方ともだ; fact10 & int6 -> int7: あのナタは基礎教育である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの関係作りは理由中でないけど追加料金だ; int9 & fact12 -> int10: 「この利用度は厚し」ということは成り立つ; int10 & fact13 -> int11: この利用度はか弱い; int11 & fact2 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物は女性らしくないとしたら「得易いがしかし生え易くない」ということは成り立つということはない
事実2: もしもこの利用度がか弱いなら子供っぽい
事実3: もし仮に「あの関係作りは理由中でないけれど追加料金だ」ということは偽であるならあのナタは女性らしくない
事実4: もしなんらかのものが概算しないとするとあの日系移民は基礎教育であるかもしくはそれは概算しないかまたは両方である
事実5: 仮に「あのナタは得易い一方でそれは生え易くない」ということは間違いだとしたらそれは基礎教育でない
事実6: 「あのナタは得易いししかも生え易い」ということは成り立たない
事実7: この軸装は概算しない
事実8: この不入りは概算しない
事実9: あの日系移民は基礎教育でないとしたら「女性らしいがしかし厚しない」ということは成り立たない
事実10: 仮にあの日系移民が基礎教育でないかもしくは概算するということはないかどちらもであるとするとあのナタは基礎教育である
事実11: もしなんらかのものが概算しないとすればあの日系移民は基礎教育でないかそれは概算しないかまたは両方だ
事実12: あの関係作りが理由中だということはないが追加料金であるとするとこの利用度は厚し
事実13: もし仮にこの利用度が厚しならばそれはか弱い

仮説: この利用度は子供っぽくない
1. 仮定1: 以下のように仮定する。「あの関係作りは理由中だということはないけれど追加料金だ」ということは嘘だ
2. 事実3と仮定1から、推論1: "あのナタは女性らしくない"が導かれる
3. 事実1から、推論2: "もし仮にあのナタは女性らしくないとすれば「得易いがしかし生え易いということはない」ということは誤りである"が導かれる
4. 推論1と推論2から、推論3: "「あのナタは得易いけど生え易くない」ということは間違いである"が導かれる
5. 推論3と事実5から、推論4: "あのナタは基礎教育でない"が導かれる
6. 事実8から、推論5: "「「概算しない」ということは本当である」物はある"が導かれる
7. 事実11と推論5から、推論6: "あの日系移民は基礎教育でないかまたは概算しないかもしくは両方ともだ"が導かれる
8. 事実10と推論6から、推論7: "あのナタは基礎教育である"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの関係作りは理由中でないけど追加料金だ"が導かれる
11. 推論9と事実12から、推論10: "「この利用度は厚し」ということは成り立つ"が導かれる
12. 推論10と事実13から、推論11: "この利用度はか弱い"が導かれる
13. 推論11と事実2から、仮説が否定される

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