この下位概念は過保護でない
fact1: もし仮になにかは復号しないとすれば近い fact2: 「何かは学び取れる一方でそれは止み難くない」ということは誤っているとしたら過保護である fact3: もしもなにかは止み難いとすればそれは過保護だ fact4: もし「「あの拒絶理由通知書は過保護であるけど止み難くない」ということは嘘である」ということは成り立つとすればそれは建設者達だ fact5: もしこの下位概念は止み難いとしたら「過保護である」ということは成り立つ fact6: もしもあの拒絶理由通知書は学び取れるとしたら「この下位概念は過保護であるけれどそれは建設者達でない」ということは事実と異なる fact7: もし仮に「あの拒絶理由通知書は建設者達である」ということは成り立つなら「この下位概念は学び取れるけれどそれは止み難くない」ということは間違いである fact8: もし「「あの拒絶理由通知書は建設者達だけれど過保護でない」ということは成り立たない」ということは偽でないとすると「それは学び取れる」ということは真実だ fact9: この下位概念が学び取れないとすればそれは重たい fact10: あの拒絶理由通知書が浸さないとすればそれは建設者達である fact11: あの拒絶理由通知書は建設者達である
fact7 & fact11 -> int1: 「この下位概念は学び取れる一方でそれは止み難くない」ということは成り立たない; fact2 -> int2: 仮に「この下位概念は学び取れるがしかし止み難くない」ということは偽であるとしたらそれは過保護である; int1 & int2 -> hypothesis;
$facts$ = fact1: もし仮になにかは復号しないとすれば近い fact2: 「何かは学び取れる一方でそれは止み難くない」ということは誤っているとしたら過保護である fact3: もしもなにかは止み難いとすればそれは過保護だ fact4: もし「「あの拒絶理由通知書は過保護であるけど止み難くない」ということは嘘である」ということは成り立つとすればそれは建設者達だ fact5: もしこの下位概念は止み難いとしたら「過保護である」ということは成り立つ fact6: もしもあの拒絶理由通知書は学び取れるとしたら「この下位概念は過保護であるけれどそれは建設者達でない」ということは事実と異なる fact7: もし仮に「あの拒絶理由通知書は建設者達である」ということは成り立つなら「この下位概念は学び取れるけれどそれは止み難くない」ということは間違いである fact8: もし「「あの拒絶理由通知書は建設者達だけれど過保護でない」ということは成り立たない」ということは偽でないとすると「それは学び取れる」ということは真実だ fact9: この下位概念が学び取れないとすればそれは重たい fact10: あの拒絶理由通知書が浸さないとすればそれは建設者達である fact11: あの拒絶理由通知書は建設者達である ; $hypothesis$ = この下位概念は過保護でない ; $proof$ = 
fact7 & fact11 -> int1: 「この下位概念は学び取れる一方でそれは止み難くない」ということは成り立たない; fact2 -> int2: 仮に「この下位概念は学び取れるがしかし止み難くない」ということは偽であるとしたらそれは過保護である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは復号しないとすれば近い
事実2: 「何かは学び取れる一方でそれは止み難くない」ということは誤っているとしたら過保護である
事実3: もしもなにかは止み難いとすればそれは過保護だ
事実4: もし「「あの拒絶理由通知書は過保護であるけど止み難くない」ということは嘘である」ということは成り立つとすればそれは建設者達だ
事実5: もしこの下位概念は止み難いとしたら「過保護である」ということは成り立つ
事実6: もしもあの拒絶理由通知書は学び取れるとしたら「この下位概念は過保護であるけれどそれは建設者達でない」ということは事実と異なる
事実7: もし仮に「あの拒絶理由通知書は建設者達である」ということは成り立つなら「この下位概念は学び取れるけれどそれは止み難くない」ということは間違いである
事実8: もし「「あの拒絶理由通知書は建設者達だけれど過保護でない」ということは成り立たない」ということは偽でないとすると「それは学び取れる」ということは真実だ
事実9: この下位概念が学び取れないとすればそれは重たい
事実10: あの拒絶理由通知書が浸さないとすればそれは建設者達である
事実11: あの拒絶理由通知書は建設者達である

仮説: この下位概念は過保護でない
1. 事実7と事実11から、推論1: "「この下位概念は学び取れる一方でそれは止み難くない」ということは成り立たない"が導かれる
2. 事実2から、推論2: "仮に「この下位概念は学び取れるがしかし止み難くない」ということは偽であるとしたらそれは過保護である"が導かれる
3. 推論1と推論2から、仮説が否定される

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