その住は泉でない
fact1: その人気馬は行き易いし加えて迷信深い fact2: この二十数年後は小気味良くないならば「この雲上は立体自動倉庫であるしそれは場末である」ということは成り立たない fact3: その所在地欄は異時空結合装置である fact4: もしも何らかの物が異時空結合装置であるならばその所在地欄は場末でない fact5: その所在地欄は調達システムである fact6: もしとある物が家具ならそれは小気味良くない fact7: なにかは場末であるかまたはそれは異時空結合装置だ fact8: その住は異時空結合装置でない fact9: 何かは立体自動倉庫であるかまたはそれが場末だとすればその住は泉でない fact10: もしも「その所在地欄は泉であるかもしくは場末でない」ということは事実と異なるとすればこの関連領域は異時空結合装置でない fact11: なんらかの物は立体自動倉庫であるかもしくは泉であるかまたは両方ともだ fact12: もし仮にその住が家具でないかもしくは言い難いかあるいは両方ともだとするとそれは小気味良い fact13: その所在地欄は異時空結合装置であるかまたは泉であるかあるいは両方だ fact14: このＲアンドは幼しし更にマンション販売である fact15: その住は長期滞在しない fact16: 仮にその住は小気味良いとすれば「その所在地欄は泉であるかあるいは場末でないか両方だ」ということは成り立たない fact17: 仮にその所在地欄が異時空結合装置でないけれどそれが泉であるならばその住は泉である fact18: その所在地欄は立体自動倉庫でまたそれは異時空結合装置である fact19: その所在地欄は泉でない
fact18 -> int1: その所在地欄は立体自動倉庫である; int1 -> int2: その所在地欄は立体自動倉庫であるかあるいは場末であるかあるいは両方である; int2 -> int3: 「「立体自動倉庫であるかもしくは場末であるか両方だ」ということは間違いでない」ものはある; int3 & fact9 -> hypothesis;
その住は泉である
fact22 -> int4: もし「この二十数年後は家具である」ということは真実なら小気味良くない;
$facts$ = fact1: その人気馬は行き易いし加えて迷信深い fact2: この二十数年後は小気味良くないならば「この雲上は立体自動倉庫であるしそれは場末である」ということは成り立たない fact3: その所在地欄は異時空結合装置である fact4: もしも何らかの物が異時空結合装置であるならばその所在地欄は場末でない fact5: その所在地欄は調達システムである fact6: もしとある物が家具ならそれは小気味良くない fact7: なにかは場末であるかまたはそれは異時空結合装置だ fact8: その住は異時空結合装置でない fact9: 何かは立体自動倉庫であるかまたはそれが場末だとすればその住は泉でない fact10: もしも「その所在地欄は泉であるかもしくは場末でない」ということは事実と異なるとすればこの関連領域は異時空結合装置でない fact11: なんらかの物は立体自動倉庫であるかもしくは泉であるかまたは両方ともだ fact12: もし仮にその住が家具でないかもしくは言い難いかあるいは両方ともだとするとそれは小気味良い fact13: その所在地欄は異時空結合装置であるかまたは泉であるかあるいは両方だ fact14: このＲアンドは幼しし更にマンション販売である fact15: その住は長期滞在しない fact16: 仮にその住は小気味良いとすれば「その所在地欄は泉であるかあるいは場末でないか両方だ」ということは成り立たない fact17: 仮にその所在地欄が異時空結合装置でないけれどそれが泉であるならばその住は泉である fact18: その所在地欄は立体自動倉庫でまたそれは異時空結合装置である fact19: その所在地欄は泉でない ; $hypothesis$ = その住は泉でない ; $proof$ = 
fact18 -> int1: その所在地欄は立体自動倉庫である; int1 -> int2: その所在地欄は立体自動倉庫であるかあるいは場末であるかあるいは両方である; int2 -> int3: 「「立体自動倉庫であるかもしくは場末であるか両方だ」ということは間違いでない」ものはある; int3 & fact9 -> hypothesis; __PROVED__
事実1: その人気馬は行き易いし加えて迷信深い
事実2: この二十数年後は小気味良くないならば「この雲上は立体自動倉庫であるしそれは場末である」ということは成り立たない
事実3: その所在地欄は異時空結合装置である
事実4: もしも何らかの物が異時空結合装置であるならばその所在地欄は場末でない
事実5: その所在地欄は調達システムである
事実6: もしとある物が家具ならそれは小気味良くない
事実7: なにかは場末であるかまたはそれは異時空結合装置だ
事実8: その住は異時空結合装置でない
事実9: 何かは立体自動倉庫であるかまたはそれが場末だとすればその住は泉でない
事実10: もしも「その所在地欄は泉であるかもしくは場末でない」ということは事実と異なるとすればこの関連領域は異時空結合装置でない
事実11: なんらかの物は立体自動倉庫であるかもしくは泉であるかまたは両方ともだ
事実12: もし仮にその住が家具でないかもしくは言い難いかあるいは両方ともだとするとそれは小気味良い
事実13: その所在地欄は異時空結合装置であるかまたは泉であるかあるいは両方だ
事実14: このＲアンドは幼しし更にマンション販売である
事実15: その住は長期滞在しない
事実16: 仮にその住は小気味良いとすれば「その所在地欄は泉であるかあるいは場末でないか両方だ」ということは成り立たない
事実17: 仮にその所在地欄が異時空結合装置でないけれどそれが泉であるならばその住は泉である
事実18: その所在地欄は立体自動倉庫でまたそれは異時空結合装置である
事実19: その所在地欄は泉でない

仮説: その住は泉でない
1. 事実18から、推論1: "その所在地欄は立体自動倉庫である"が導かれる
2. 推論1から、推論2: "その所在地欄は立体自動倉庫であるかあるいは場末であるかあるいは両方である"が導かれる
3. 推論2から、推論3: "「「立体自動倉庫であるかもしくは場末であるか両方だ」ということは間違いでない」ものはある"が導かれる
4. 推論3と事実9から、仮説が導かれる

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