「あの保存画面は化合物でない」ということは確かである
fact1: もしその二人三脚は化合物だとすると「あの保存画面は中小企業貸し出しだ」ということは真実である fact2: この連隊長は中小企業貸し出しである fact3: その二人三脚は肌寒い fact4: その二人三脚は一冊だということはないけれど引照する fact5: その二人三脚は入れ易くないけど切り裂ける fact6: あの修は制定すらないけど化合物である fact7: その二人三脚は化合物でない fact8: その二人三脚は中小企業貸し出しでない一方で一泊する fact9: その二人三脚は立ち会う fact10: 仮に「何かは蘭学であるしかつ当裁判所である」ということは嘘だとすれば中小企業貸し出しでない fact11: もし仮に「あの保存画面は中小企業貸し出しである」ということは真実であるとすればあの二人三脚は一泊する fact12: あの保存画面は市場価額であるということはないけどそれは引っ掛かる fact13: もしもなにがしかの物は中小企業貸し出しでないならそれは化合物でない fact14: あの古代史料は電磁環境でないがしかし一泊する fact15: あの古代史料は払い込まない一方で考え辛い fact16: もし仮に「その二人三脚は一泊する」ということは確かだとしたらあの保存画面は化合物である fact17: あの十短調は払い込まないがしかし化合物だ fact18: その二人三脚は中小企業貸し出しでない fact19: その二人三脚は首尾良い fact20: この一般廃棄物処理計画は心根でないがしかし代用出来る fact21: 仮にあの保存画面が一泊するとすればその二人三脚は化合物だ fact22: もしもその二人三脚は中小企業貸し出しでないなら「あの保存画面が化合物だしそれは一泊する」ということは成り立たない
fact8 -> int1: その二人三脚は一泊する; int1 & fact16 -> hypothesis;
「あの保存画面は化合物でない」ということは成り立つ
fact23 -> int2: 仮にあの保存画面は中小企業貸し出しでないとするとそれは化合物でない;
$facts$ = fact1: もしその二人三脚は化合物だとすると「あの保存画面は中小企業貸し出しだ」ということは真実である fact2: この連隊長は中小企業貸し出しである fact3: その二人三脚は肌寒い fact4: その二人三脚は一冊だということはないけれど引照する fact5: その二人三脚は入れ易くないけど切り裂ける fact6: あの修は制定すらないけど化合物である fact7: その二人三脚は化合物でない fact8: その二人三脚は中小企業貸し出しでない一方で一泊する fact9: その二人三脚は立ち会う fact10: 仮に「何かは蘭学であるしかつ当裁判所である」ということは嘘だとすれば中小企業貸し出しでない fact11: もし仮に「あの保存画面は中小企業貸し出しである」ということは真実であるとすればあの二人三脚は一泊する fact12: あの保存画面は市場価額であるということはないけどそれは引っ掛かる fact13: もしもなにがしかの物は中小企業貸し出しでないならそれは化合物でない fact14: あの古代史料は電磁環境でないがしかし一泊する fact15: あの古代史料は払い込まない一方で考え辛い fact16: もし仮に「その二人三脚は一泊する」ということは確かだとしたらあの保存画面は化合物である fact17: あの十短調は払い込まないがしかし化合物だ fact18: その二人三脚は中小企業貸し出しでない fact19: その二人三脚は首尾良い fact20: この一般廃棄物処理計画は心根でないがしかし代用出来る fact21: 仮にあの保存画面が一泊するとすればその二人三脚は化合物だ fact22: もしもその二人三脚は中小企業貸し出しでないなら「あの保存画面が化合物だしそれは一泊する」ということは成り立たない ; $hypothesis$ = 「あの保存画面は化合物でない」ということは確かである ; $proof$ = 
fact8 -> int1: その二人三脚は一泊する; int1 & fact16 -> hypothesis; __DISPROVED__
事実1: もしその二人三脚は化合物だとすると「あの保存画面は中小企業貸し出しだ」ということは真実である
事実2: この連隊長は中小企業貸し出しである
事実3: その二人三脚は肌寒い
事実4: その二人三脚は一冊だということはないけれど引照する
事実5: その二人三脚は入れ易くないけど切り裂ける
事実6: あの修は制定すらないけど化合物である
事実7: その二人三脚は化合物でない
事実8: その二人三脚は中小企業貸し出しでない一方で一泊する
事実9: その二人三脚は立ち会う
事実10: 仮に「何かは蘭学であるしかつ当裁判所である」ということは嘘だとすれば中小企業貸し出しでない
事実11: もし仮に「あの保存画面は中小企業貸し出しである」ということは真実であるとすればあの二人三脚は一泊する
事実12: あの保存画面は市場価額であるということはないけどそれは引っ掛かる
事実13: もしもなにがしかの物は中小企業貸し出しでないならそれは化合物でない
事実14: あの古代史料は電磁環境でないがしかし一泊する
事実15: あの古代史料は払い込まない一方で考え辛い
事実16: もし仮に「その二人三脚は一泊する」ということは確かだとしたらあの保存画面は化合物である
事実17: あの十短調は払い込まないがしかし化合物だ
事実18: その二人三脚は中小企業貸し出しでない
事実19: その二人三脚は首尾良い
事実20: この一般廃棄物処理計画は心根でないがしかし代用出来る
事実21: 仮にあの保存画面が一泊するとすればその二人三脚は化合物だ
事実22: もしもその二人三脚は中小企業貸し出しでないなら「あの保存画面が化合物だしそれは一泊する」ということは成り立たない

仮説: 「あの保存画面は化合物でない」ということは確かである
1. 事実8から、推論1: "その二人三脚は一泊する"が導かれる
2. 推論1と事実16から、仮説が否定される

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