あの緩和処置は豆類だ
fact1: もし仮にとあるものは余儀無いとすると「それは捕らえ難くないし汚い」ということは正しくない fact2: もしもあの緩和処置は野生動植物であるとすると「それは捕らえ難い」ということは成り立つ fact3: 眠い物は余儀無い fact4: あの緩和処置は汚い fact5: この三世紀初頭が老占い師だしさらにそれはすっごい fact6: もし「なにがしかの物は捕らえ難くないがしかし汚い」ということは誤っているとすると捕らえ難い fact7: あの緩和処置は老占い師でない fact8: あの緩和処置は捕らえ難くてさらに汚い fact9: もしもあの緩和処置が余儀無いなら眠い fact10: もしもあの保革逆転が老占い師でないとすると豆類で眠い fact11: 仮にあの緩和処置は眠いが豆類だということはないとするとそれは老占い師である fact12: もし「あの緩和処置は捕らえ難くない」ということは偽だとするとそれは余儀無い
fact8 -> int1: あの緩和処置は捕らえ難い; int1 & fact12 -> int2: あの緩和処置は余儀無い; int2 & fact9 -> int3: あの緩和処置は眠い; void -> assump1: 以下のように仮定する。あの緩和処置は豆類でない; int3 & assump1 -> int4: あの緩和処置は眠いが豆類でない; int4 & fact11 -> int5: あの緩和処置は老占い師だ; int5 & fact7 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あの保革逆転は捕らえ難い
fact15 -> int7: 仮に「あの保革逆転は捕らえ難くないが汚い」ということは嘘であるならば捕らえ難い; fact13 -> int8: もし仮にあの保革逆転は余儀無いとしたら「それは捕らえ難くないが汚い」ということは間違っている; fact14 -> int9: もしも「あの保革逆転は眠い」ということは本当なら余儀無い;
$facts$ = fact1: もし仮にとあるものは余儀無いとすると「それは捕らえ難くないし汚い」ということは正しくない fact2: もしもあの緩和処置は野生動植物であるとすると「それは捕らえ難い」ということは成り立つ fact3: 眠い物は余儀無い fact4: あの緩和処置は汚い fact5: この三世紀初頭が老占い師だしさらにそれはすっごい fact6: もし「なにがしかの物は捕らえ難くないがしかし汚い」ということは誤っているとすると捕らえ難い fact7: あの緩和処置は老占い師でない fact8: あの緩和処置は捕らえ難くてさらに汚い fact9: もしもあの緩和処置が余儀無いなら眠い fact10: もしもあの保革逆転が老占い師でないとすると豆類で眠い fact11: 仮にあの緩和処置は眠いが豆類だということはないとするとそれは老占い師である fact12: もし「あの緩和処置は捕らえ難くない」ということは偽だとするとそれは余儀無い ; $hypothesis$ = あの緩和処置は豆類だ ; $proof$ = 
fact8 -> int1: あの緩和処置は捕らえ難い; int1 & fact12 -> int2: あの緩和処置は余儀無い; int2 & fact9 -> int3: あの緩和処置は眠い; void -> assump1: 以下のように仮定する。あの緩和処置は豆類でない; int3 & assump1 -> int4: あの緩和処置は眠いが豆類でない; int4 & fact11 -> int5: あの緩和処置は老占い師だ; int5 & fact7 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: もし仮にとあるものは余儀無いとすると「それは捕らえ難くないし汚い」ということは正しくない
事実2: もしもあの緩和処置は野生動植物であるとすると「それは捕らえ難い」ということは成り立つ
事実3: 眠い物は余儀無い
事実4: あの緩和処置は汚い
事実5: この三世紀初頭が老占い師だしさらにそれはすっごい
事実6: もし「なにがしかの物は捕らえ難くないがしかし汚い」ということは誤っているとすると捕らえ難い
事実7: あの緩和処置は老占い師でない
事実8: あの緩和処置は捕らえ難くてさらに汚い
事実9: もしもあの緩和処置が余儀無いなら眠い
事実10: もしもあの保革逆転が老占い師でないとすると豆類で眠い
事実11: 仮にあの緩和処置は眠いが豆類だということはないとするとそれは老占い師である
事実12: もし「あの緩和処置は捕らえ難くない」ということは偽だとするとそれは余儀無い

仮説: あの緩和処置は豆類だ
1. 事実8から、推論1: "あの緩和処置は捕らえ難い"が導かれる
2. 推論1と事実12から、推論2: "あの緩和処置は余儀無い"が導かれる
3. 推論2と事実9から、推論3: "あの緩和処置は眠い"が導かれる
4. 仮定1: 以下のように仮定する。あの緩和処置は豆類でない
5. 推論3と仮定1から、推論4: "あの緩和処置は眠いが豆類でない"が導かれる
6. 推論4と事実11から、推論5: "あの緩和処置は老占い師だ"が導かれる
7. 推論5と事実7から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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