あのボーカリストは孟冬でない
fact1: 仮に「され易い」ものがあるとするとあの村八分は孟冬でない fact2: この氷嚢はされ易くない fact3: もしもある物が畳み込むとすればそれは孟冬である fact4: あの村八分は人民大会議幹部会議長だということはない fact5: 「あの村八分は畳み込む」ということは成り立つ fact6: あのボーカリストは畳み込むかまたはエストロゲンであるかあるいは両方である fact7: され易い物は畳み込む fact8: もしもあの村八分がされ易いとするとあのボーカリストはされ易い fact9: 「なにがしかのものは強いか南下であるかまたは両方ともである」ということは事実だ fact10: 仮に「畳み込むかもしくはされ易いか両方な」ものがあるならあのボーカリストは孟冬だということはない fact11: もし仮に「口汚いということはない」物があるとしたらその前庭窓はされ易いか軍人らしい fact12: もし仮に「され易い」物があるとすればあのボーカリストは孟冬でない fact13: あの村八分は孟冬であるかされ易い fact14: もし何かはされ易いかあるいはそれが孟冬であるか両方であるとしたらあのボーカリストは畳み込まない fact15: もしもあの閉会式が兆さないとすると次世代ＣＡＬＳでないしさらに凍て付かない fact16: あの閉会式は兆さない fact17: もし仮に「とある物は忙しないがしかし凭せらない」ということは誤っていればそれは口汚くない fact18: あの村八分が口汚いけれど軍人らしくないとするとあのボーカリストはされ易くない fact19: その混同行為は孟冬でない fact20: あの閉会式は次世代ＣＡＬＳだということはないとすれば「それは忙しないがしかし凭せるということはない」ということは誤っている fact21: され易くないかもしくは口汚いものはされ易くない fact22: 仮にとあるものが畳み込むかもしくはそれが孟冬であるならばあのボーカリストはされ易いということはない
fact5 -> int1: あの村八分は畳み込むかまたはそれはされ易い; int1 -> int2: 「畳み込むかまたはされ易い」ものはある; int2 & fact10 -> hypothesis;
あのボーカリストは孟冬である
$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$ = 
fact5 -> int1: あの村八分は畳み込むかまたはそれはされ易い; int1 -> int2: 「畳み込むかまたはされ易い」ものはある; int2 & fact10 -> 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. 事実5から、推論1: "あの村八分は畳み込むかまたはそれはされ易い"が導かれる
2. 推論1から、推論2: "「畳み込むかまたはされ易い」ものはある"が導かれる
3. 推論2と事実10から、仮説が導かれる

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