あの老人斑はごつい
fact1: あの老人斑は運悪い fact2: 仮にその茶痣が感染しないがしかし喋り掛けるとしたらこの企業体は喋り掛けない fact3: 「なんらかの物はひょろ長いがしかし取れ易くない」ということは偽だとしたら落ち込まない fact4: もしその侍従達が止み難くないとすればごついしそれは熟練する fact5: その語彙項目はノスタルジアでないけれど剥がれ易い fact6: もしあの老人斑が止み難いならそれは落ち込む fact7: もし仮にこの呂君はごついならあの老人斑はごつかない fact8: 「あの老人斑は熟練する」ということは真実である fact9: もしこの呂君はごついなら「それは止み難くないしそれにそれは落ち込む」ということは成り立たない fact10: 仮に「この自治会活動は眺め回さないけどむさくるしい」ということは誤っているとしたらこのＣＡＴＶは眺め回す fact11: あの老人斑は打っ壊さないけれど熟練する fact12: もしもこの呂君は熟練するかもしくは止み難くないかまたはどちらもだとすればあの老人斑はごつかない fact13: あの老人斑は熟練するしまたそれは止み難い fact14: あの老人斑は西蓮寺だということはないけどそれはねちっこい fact15: もしも「その語彙項目は剥がれ易い」ということは成り立つとすれば「この自治会活動は眺め回さない一方でむさくるしい」ということは偽である fact16: 「あの義経記は荒くないけどＰＣＰラボである」ということは誤っている fact17: ごついということはないしまた落ち込むというものはない fact18: この年下はごつい fact19: なにかは眺め回せばその茶痣は感染するということはないけど喋り掛ける fact20: この西洋文明は熟練するしかつ危険性だ fact21: あのポテトチップは熟練する fact22: もし仮にあるものは喋り掛けないとしたら「ひょろ長いけれど取れ易くない」ということは成り立つということはない
fact13 -> int1: あの老人斑は止み難い; int1 & fact6 -> int2: あの老人斑は落ち込む; void -> assump1: 以下のように仮定する。あの老人斑はごつかない; int2 & assump1 -> int3: あの老人斑はごつかないけれど落ち込む; fact17 -> int4: 「あの老人斑はごつかないが落ち込む」ということは成り立たない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの老人斑はごつかない
fact29 -> int6: 仮に「この企業体はひょろ長いけど取れ易くない」ということは本当でないとしたら落ち込まない; fact27 -> int7: この企業体は喋り掛けないならば「ひょろ長いしその上取れ易くない」ということは嘘である; fact30 -> int8: その語彙項目は剥がれ易い; fact24 & int8 -> int9: 「この自治会活動は眺め回すということはないけれどむさくるしい」ということは成り立たない; fact25 & int9 -> int10: このＣＡＴＶは眺め回す; int10 -> int11: 「眺め回す」ものはある; int11 & fact26 -> int12: その茶痣は感染しないけど喋り掛ける; fact28 & int12 -> int13: この企業体は喋り掛けない; int7 & int13 -> int14: 「この企業体はひょろ長い一方でそれは取れ易くない」ということは誤っている; int6 & int14 -> int15: この企業体は落ち込まない; int15 -> int16: 「落ち込まない」物はある;
$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$ = 
fact13 -> int1: あの老人斑は止み難い; int1 & fact6 -> int2: あの老人斑は落ち込む; void -> assump1: 以下のように仮定する。あの老人斑はごつかない; int2 & assump1 -> int3: あの老人斑はごつかないけれど落ち込む; fact17 -> int4: 「あの老人斑はごつかないが落ち込む」ということは成り立たない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __PROVED__
事実1: あの老人斑は運悪い
事実2: 仮にその茶痣が感染しないがしかし喋り掛けるとしたらこの企業体は喋り掛けない
事実3: 「なんらかの物はひょろ長いがしかし取れ易くない」ということは偽だとしたら落ち込まない
事実4: もしその侍従達が止み難くないとすればごついしそれは熟練する
事実5: その語彙項目はノスタルジアでないけれど剥がれ易い
事実6: もしあの老人斑が止み難いならそれは落ち込む
事実7: もし仮にこの呂君はごついならあの老人斑はごつかない
事実8: 「あの老人斑は熟練する」ということは真実である
事実9: もしこの呂君はごついなら「それは止み難くないしそれにそれは落ち込む」ということは成り立たない
事実10: 仮に「この自治会活動は眺め回さないけどむさくるしい」ということは誤っているとしたらこのＣＡＴＶは眺め回す
事実11: あの老人斑は打っ壊さないけれど熟練する
事実12: もしもこの呂君は熟練するかもしくは止み難くないかまたはどちらもだとすればあの老人斑はごつかない
事実13: あの老人斑は熟練するしまたそれは止み難い
事実14: あの老人斑は西蓮寺だということはないけどそれはねちっこい
事実15: もしも「その語彙項目は剥がれ易い」ということは成り立つとすれば「この自治会活動は眺め回さない一方でむさくるしい」ということは偽である
事実16: 「あの義経記は荒くないけどＰＣＰラボである」ということは誤っている
事実17: ごついということはないしまた落ち込むというものはない
事実18: この年下はごつい
事実19: なにかは眺め回せばその茶痣は感染するということはないけど喋り掛ける
事実20: この西洋文明は熟練するしかつ危険性だ
事実21: あのポテトチップは熟練する
事実22: もし仮にあるものは喋り掛けないとしたら「ひょろ長いけれど取れ易くない」ということは成り立つということはない

仮説: あの老人斑はごつい
1. 事実13から、推論1: "あの老人斑は止み難い"が導かれる
2. 推論1と事実6から、推論2: "あの老人斑は落ち込む"が導かれる
3. 仮定1: 以下のように仮定する。あの老人斑はごつかない
4. 推論2と仮定1から、推論3: "あの老人斑はごつかないけれど落ち込む"が導かれる
5. 事実17から、推論4: "「あの老人斑はごつかないが落ち込む」ということは成り立たない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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