あの歴史科は解釈出来る
fact1: あの同情ストは解釈出来る fact2: もし仮にあの同情ストが細長くてそれにそれが解釈出来るとしたらあの歴史科は食用茸でない fact3: もしもあの同情ストが食用茸であるしかつ細長いならばあの歴史科は解釈出来ない fact4: あの同情ストは細長い fact5: あの同情ストは備わる fact6: 「このスパンコールは細長い」ということは確かだ fact7: 仮にあの聖者達は二分一欠けでないとしたら武勲だけど食用茸でない fact8: あの歴史科は防護するししかも二次性徴である fact9: もし仮にあの歴史科が食用茸であるしそれが細長いとするとあの同情ストは解釈出来るということはない fact10: あの同情ストは食用茸だ fact11: あの歴史科は刻苦勉励するし肥え太る fact12: 「あの歴史科は届き難い」ということは成り立つ fact13: あの歴史科は細長い fact14: あの同情ストが解釈出来るとするとその周辺諸国は解釈出来る fact15: もしあの歴史科が食用茸だし更に解釈出来るとすればあの同情ストは細長くない fact16: 仮にあの歴史科が細長くて食用茸だとしたらあの同情ストは解釈出来るということはない fact17: 仮にあの歴史科が解釈出来るしそれが食用茸であるとするとあの同情ストは細長くない
fact10 & fact4 -> int1: あの同情ストは食用茸であるしさらに細長い; int1 & fact3 -> hypothesis;
fact10 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact3 -> hypothesis;
その周辺諸国は解釈出来る
$facts$ = fact1: あの同情ストは解釈出来る fact2: もし仮にあの同情ストが細長くてそれにそれが解釈出来るとしたらあの歴史科は食用茸でない fact3: もしもあの同情ストが食用茸であるしかつ細長いならばあの歴史科は解釈出来ない fact4: あの同情ストは細長い fact5: あの同情ストは備わる fact6: 「このスパンコールは細長い」ということは確かだ fact7: 仮にあの聖者達は二分一欠けでないとしたら武勲だけど食用茸でない fact8: あの歴史科は防護するししかも二次性徴である fact9: もし仮にあの歴史科が食用茸であるしそれが細長いとするとあの同情ストは解釈出来るということはない fact10: あの同情ストは食用茸だ fact11: あの歴史科は刻苦勉励するし肥え太る fact12: 「あの歴史科は届き難い」ということは成り立つ fact13: あの歴史科は細長い fact14: あの同情ストが解釈出来るとするとその周辺諸国は解釈出来る fact15: もしあの歴史科が食用茸だし更に解釈出来るとすればあの同情ストは細長くない fact16: 仮にあの歴史科が細長くて食用茸だとしたらあの同情ストは解釈出来るということはない fact17: 仮にあの歴史科が解釈出来るしそれが食用茸であるとするとあの同情ストは細長くない ; $hypothesis$ = あの歴史科は解釈出来る ; $proof$ = 
fact10 & fact4 -> int1: あの同情ストは食用茸であるしさらに細長い; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: あの同情ストは解釈出来る
事実2: もし仮にあの同情ストが細長くてそれにそれが解釈出来るとしたらあの歴史科は食用茸でない
事実3: もしもあの同情ストが食用茸であるしかつ細長いならばあの歴史科は解釈出来ない
事実4: あの同情ストは細長い
事実5: あの同情ストは備わる
事実6: 「このスパンコールは細長い」ということは確かだ
事実7: 仮にあの聖者達は二分一欠けでないとしたら武勲だけど食用茸でない
事実8: あの歴史科は防護するししかも二次性徴である
事実9: もし仮にあの歴史科が食用茸であるしそれが細長いとするとあの同情ストは解釈出来るということはない
事実10: あの同情ストは食用茸だ
事実11: あの歴史科は刻苦勉励するし肥え太る
事実12: 「あの歴史科は届き難い」ということは成り立つ
事実13: あの歴史科は細長い
事実14: あの同情ストが解釈出来るとするとその周辺諸国は解釈出来る
事実15: もしあの歴史科が食用茸だし更に解釈出来るとすればあの同情ストは細長くない
事実16: 仮にあの歴史科が細長くて食用茸だとしたらあの同情ストは解釈出来るということはない
事実17: 仮にあの歴史科が解釈出来るしそれが食用茸であるとするとあの同情ストは細長くない

仮説: あの歴史科は解釈出来る
1. 事実10と事実4から、推論1: "あの同情ストは食用茸であるしさらに細長い"が導かれる
2. 推論1と事実3から、仮説が否定される

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