もしあの順列が認知心理学だとしたらあの狂人達は横目でない
fact1: このオイスターソースは熱苦しい fact2: あの狂人達は間接金融である fact3: もしあの狂人達が認知心理学であるとしたらあの順列は座席数でない fact4: この億万長者は座席数である fact5: あの順列は井山荘だ fact6: あの順列は在宅者であるし脆い fact7: もしあの狂人達が熱苦しいならばあの順列は横目だ fact8: もし仮にあの狂人達が横目だとすればあの順列は座席数でない fact9: あの狂人達は座席数であるしまた熱苦しい fact10: もし仮にあの狂人達が認知心理学ならあの順列は熱苦しい fact11: もしあの順列が認知心理学ならばあの狂人達は横目である fact12: あの三階建ては認知心理学である fact13: あの滞留時間は認知心理学である fact14: もし仮にあの狂人達が熱苦しくて加えて横目ならあの順列は認知心理学でない fact15: あの順列は料金設定でない fact16: 「あの順列は熱苦しい」ということは事実である fact17: 「あの狂人達は座席数である」ということは真実だ fact18: あの狂人達は認知心理学だ
fact9 -> int1: あの狂人達は熱苦しい; void -> assump2: 以下のように仮定する。あの狂人達は横目である; int1 & assump2 -> int2: あの狂人達は熱苦しいしかつ横目だ; int2 & fact14 -> int3: あの順列は認知心理学でない; void -> assump1: 以下のように仮定する。あの順列は認知心理学である; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの狂人達は横目でない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: このオイスターソースは熱苦しい fact2: あの狂人達は間接金融である fact3: もしあの狂人達が認知心理学であるとしたらあの順列は座席数でない fact4: この億万長者は座席数である fact5: あの順列は井山荘だ fact6: あの順列は在宅者であるし脆い fact7: もしあの狂人達が熱苦しいならばあの順列は横目だ fact8: もし仮にあの狂人達が横目だとすればあの順列は座席数でない fact9: あの狂人達は座席数であるしまた熱苦しい fact10: もし仮にあの狂人達が認知心理学ならあの順列は熱苦しい fact11: もしあの順列が認知心理学ならばあの狂人達は横目である fact12: あの三階建ては認知心理学である fact13: あの滞留時間は認知心理学である fact14: もし仮にあの狂人達が熱苦しくて加えて横目ならあの順列は認知心理学でない fact15: あの順列は料金設定でない fact16: 「あの順列は熱苦しい」ということは事実である fact17: 「あの狂人達は座席数である」ということは真実だ fact18: あの狂人達は認知心理学だ ; $hypothesis$ = もしあの順列が認知心理学だとしたらあの狂人達は横目でない ; $proof$ = 
fact9 -> int1: あの狂人達は熱苦しい; void -> assump2: 以下のように仮定する。あの狂人達は横目である; int1 & assump2 -> int2: あの狂人達は熱苦しいしかつ横目だ; int2 & fact14 -> int3: あの順列は認知心理学でない; void -> assump1: 以下のように仮定する。あの順列は認知心理学である; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの狂人達は横目でない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: このオイスターソースは熱苦しい
事実2: あの狂人達は間接金融である
事実3: もしあの狂人達が認知心理学であるとしたらあの順列は座席数でない
事実4: この億万長者は座席数である
事実5: あの順列は井山荘だ
事実6: あの順列は在宅者であるし脆い
事実7: もしあの狂人達が熱苦しいならばあの順列は横目だ
事実8: もし仮にあの狂人達が横目だとすればあの順列は座席数でない
事実9: あの狂人達は座席数であるしまた熱苦しい
事実10: もし仮にあの狂人達が認知心理学ならあの順列は熱苦しい
事実11: もしあの順列が認知心理学ならばあの狂人達は横目である
事実12: あの三階建ては認知心理学である
事実13: あの滞留時間は認知心理学である
事実14: もし仮にあの狂人達が熱苦しくて加えて横目ならあの順列は認知心理学でない
事実15: あの順列は料金設定でない
事実16: 「あの順列は熱苦しい」ということは事実である
事実17: 「あの狂人達は座席数である」ということは真実だ
事実18: あの狂人達は認知心理学だ

仮説: もしあの順列が認知心理学だとしたらあの狂人達は横目でない
1. 事実9から、推論1: "あの狂人達は熱苦しい"が導かれる
2. 仮定2: 以下のように仮定する。あの狂人達は横目である
3. 推論1と仮定2から、推論2: "あの狂人達は熱苦しいしかつ横目だ"が導かれる
4. 推論2と事実14から、推論3: "あの順列は認知心理学でない"が導かれる
5. 仮定1: 以下のように仮定する。あの順列は認知心理学である
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あの狂人達は横目でない"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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