この検査部門は出現し易くない
fact1: この検査部門は恨めしくなくてその上刷り込みでない fact2: この水素分子はコートニーだということはない fact3: この参加企業は潜水艦隊でない fact4: この検査部門はコートニーでない fact5: もしなにかはコートニーだけれどそれはオーディオトラックでないならそれは出現し易い fact6: 出現し易いものはコートニーでない fact7: もしも「潜水艦隊でない」ものはあれば「あの上腕部は感じ入るということはない一方でそれは開き具合である」ということは成り立たない fact8: この検査部門はコートニーでなくてその上出現し易いない fact9: 肌寒くないものはコートニーであるけどオーディオトラックでない fact10: その花柱はコートニーでないならそれは恨めしくなくて更に与し易くない fact11: この検査部門は眠たくない fact12: もしも「何かは感じ入らないがしかし開き具合だ」ということは間違っているとすると創立メンバーでない
fact8 -> hypothesis;
fact8 -> hypothesis;
その花柱は恨めしくなくてそれに与し易いということはない
fact13 -> int1: もしその花柱が出現し易いならそれはコートニーでない;
$facts$ = fact1: この検査部門は恨めしくなくてその上刷り込みでない fact2: この水素分子はコートニーだということはない fact3: この参加企業は潜水艦隊でない fact4: この検査部門はコートニーでない fact5: もしなにかはコートニーだけれどそれはオーディオトラックでないならそれは出現し易い fact6: 出現し易いものはコートニーでない fact7: もしも「潜水艦隊でない」ものはあれば「あの上腕部は感じ入るということはない一方でそれは開き具合である」ということは成り立たない fact8: この検査部門はコートニーでなくてその上出現し易いない fact9: 肌寒くないものはコートニーであるけどオーディオトラックでない fact10: その花柱はコートニーでないならそれは恨めしくなくて更に与し易くない fact11: この検査部門は眠たくない fact12: もしも「何かは感じ入らないがしかし開き具合だ」ということは間違っているとすると創立メンバーでない ; $hypothesis$ = この検査部門は出現し易くない ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: この検査部門は恨めしくなくてその上刷り込みでない
事実2: この水素分子はコートニーだということはない
事実3: この参加企業は潜水艦隊でない
事実4: この検査部門はコートニーでない
事実5: もしなにかはコートニーだけれどそれはオーディオトラックでないならそれは出現し易い
事実6: 出現し易いものはコートニーでない
事実7: もしも「潜水艦隊でない」ものはあれば「あの上腕部は感じ入るということはない一方でそれは開き具合である」ということは成り立たない
事実8: この検査部門はコートニーでなくてその上出現し易いない
事実9: 肌寒くないものはコートニーであるけどオーディオトラックでない
事実10: その花柱はコートニーでないならそれは恨めしくなくて更に与し易くない
事実11: この検査部門は眠たくない
事実12: もしも「何かは感じ入らないがしかし開き具合だ」ということは間違っているとすると創立メンバーでない

仮説: この検査部門は出現し易くない
1. 事実8から、仮説が導かれる

よって、仮説が証明されました。