「あの側頭は劣性遺伝であるということはない」ということは成り立つ
fact1: 「その先行文献は劣性遺伝である」ということは事実である fact2: 仮に「なにがしかの物は同化するがしかし分子構造でない」ということは嘘であるとすればそれは解消すらない fact3: あの側頭は法定資格である fact4: あの側頭はルール化する fact5: あの側頭は劣性遺伝で加えて法定資格である fact6: 何かはせっかち過ぎれば「同化するし加えて分子構造でない」ということは間違いである fact7: あの入院医療は法定資格である fact8: あの上背は物真似する fact9: あの側頭は乗り難くて掻き立てる fact10: もし仮にとあるものが資金調達難だとすればせっかち過ぎる fact11: もし「なんらかの物は解消すし更にそれは法定資格だ」ということは嘘であるとすればそれは劣性遺伝だということはない fact12: もしあの上背が物真似すればそれは資金調達難だ fact13: この州単位は法定資格である fact14: この弁護士法改正は劣性遺伝である fact15: あの側頭は例会である
fact5 -> hypothesis;
fact5 -> hypothesis;
あの側頭は劣性遺伝でない
fact17 -> int1: 「仮に「あの側頭は解消すし法定資格だ」ということは誤りであるとすればあの側頭は劣性遺伝でない」ということは成り立つ; fact19 -> int2: もしも「あの上背は同化するけど分子構造でない」ということは嘘であるとするとそれは解消すらない; fact21 -> int3: あの上背はせっかち過ぎるとしたら「同化するが分子構造でない」ということは誤りである; fact16 -> int4: もし仮にあの上背が資金調達難ならばそれはせっかち過ぎる; fact18 & fact20 -> int5: あの上背は資金調達難だ; int4 & int5 -> int6: あの上背はせっかち過ぎる; int3 & int6 -> int7: 「あの上背は同化するが分子構造でない」ということは成り立たない; int2 & int7 -> int8: あの上背は解消すらない; int8 -> int9: 「解消すということはない」物はある;
$facts$ = fact1: 「その先行文献は劣性遺伝である」ということは事実である fact2: 仮に「なにがしかの物は同化するがしかし分子構造でない」ということは嘘であるとすればそれは解消すらない fact3: あの側頭は法定資格である fact4: あの側頭はルール化する fact5: あの側頭は劣性遺伝で加えて法定資格である fact6: 何かはせっかち過ぎれば「同化するし加えて分子構造でない」ということは間違いである fact7: あの入院医療は法定資格である fact8: あの上背は物真似する fact9: あの側頭は乗り難くて掻き立てる fact10: もし仮にとあるものが資金調達難だとすればせっかち過ぎる fact11: もし「なんらかの物は解消すし更にそれは法定資格だ」ということは嘘であるとすればそれは劣性遺伝だということはない fact12: もしあの上背が物真似すればそれは資金調達難だ fact13: この州単位は法定資格である fact14: この弁護士法改正は劣性遺伝である fact15: あの側頭は例会である ; $hypothesis$ = 「あの側頭は劣性遺伝であるということはない」ということは成り立つ ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: 「その先行文献は劣性遺伝である」ということは事実である
事実2: 仮に「なにがしかの物は同化するがしかし分子構造でない」ということは嘘であるとすればそれは解消すらない
事実3: あの側頭は法定資格である
事実4: あの側頭はルール化する
事実5: あの側頭は劣性遺伝で加えて法定資格である
事実6: 何かはせっかち過ぎれば「同化するし加えて分子構造でない」ということは間違いである
事実7: あの入院医療は法定資格である
事実8: あの上背は物真似する
事実9: あの側頭は乗り難くて掻き立てる
事実10: もし仮にとあるものが資金調達難だとすればせっかち過ぎる
事実11: もし「なんらかの物は解消すし更にそれは法定資格だ」ということは嘘であるとすればそれは劣性遺伝だということはない
事実12: もしあの上背が物真似すればそれは資金調達難だ
事実13: この州単位は法定資格である
事実14: この弁護士法改正は劣性遺伝である
事実15: あの側頭は例会である

仮説: 「あの側頭は劣性遺伝であるということはない」ということは成り立つ
1. 事実5から、仮説が否定される

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