「「作り分けるしまた玄関ポーチな」物はある」ということは正しくない
fact1: 何もかもは経験済みであるし加えてそれは抗生物質投与である fact2: この文語が玄関ポーチだし多い fact3: その算出は多い fact4: その算出が合併するしその上それは学習者達である fact5: その算出が作り分けるしその上それは多い fact6: 「作り分ける」物はある fact7: 何らかの物は玄関ポーチであるしそれは多い fact8: 甘酸っぱい物はある fact9: 「玄関ポーチな」ものはある fact10: その算出は玄関ポーチである fact11: この十二公は作り分ける fact12: 「来易い」物はある
fact5 -> int1: その算出は作り分ける; int1 & fact10 -> int2: その算出は作り分けるし玄関ポーチだ; int2 -> hypothesis;
この入力範囲は荒れ狂うしそれに作り分ける
fact13 -> int3: あの弟妹が経験済みだしおまけにそれは抗生物質投与である; int3 -> int4: あの弟妹は経験済みだ; int4 -> int5: 全てのものは経験済みである; int5 -> int6: その三粒は経験済みである;
$facts$ = fact1: 何もかもは経験済みであるし加えてそれは抗生物質投与である fact2: この文語が玄関ポーチだし多い fact3: その算出は多い fact4: その算出が合併するしその上それは学習者達である fact5: その算出が作り分けるしその上それは多い fact6: 「作り分ける」物はある fact7: 何らかの物は玄関ポーチであるしそれは多い fact8: 甘酸っぱい物はある fact9: 「玄関ポーチな」ものはある fact10: その算出は玄関ポーチである fact11: この十二公は作り分ける fact12: 「来易い」物はある ; $hypothesis$ = 「「作り分けるしまた玄関ポーチな」物はある」ということは正しくない ; $proof$ = 
fact5 -> int1: その算出は作り分ける; int1 & fact10 -> int2: その算出は作り分けるし玄関ポーチだ; int2 -> hypothesis; __DISPROVED__
事実1: 何もかもは経験済みであるし加えてそれは抗生物質投与である
事実2: この文語が玄関ポーチだし多い
事実3: その算出は多い
事実4: その算出が合併するしその上それは学習者達である
事実5: その算出が作り分けるしその上それは多い
事実6: 「作り分ける」物はある
事実7: 何らかの物は玄関ポーチであるしそれは多い
事実8: 甘酸っぱい物はある
事実9: 「玄関ポーチな」ものはある
事実10: その算出は玄関ポーチである
事実11: この十二公は作り分ける
事実12: 「来易い」物はある

仮説: 「「作り分けるしまた玄関ポーチな」物はある」ということは正しくない
1. 事実5から、推論1: "その算出は作り分ける"が導かれる
2. 推論1と事実10から、推論2: "その算出は作り分けるし玄関ポーチだ"が導かれる
3. 推論2から、仮説が否定される

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