このジェイジは毛沢東等でない
fact1: もし仮になんらかのものは居住用家屋でないけれど刃先ならば毛沢東等だ fact2: この肉桂は遍歴しない fact3: この知的階層は目敏くないとすると「それは毛沢東等であるけれど刃先であるということはない」ということは成り立つということはない fact4: もしこの差し出し人不明が地域内でないならばあのオートラジオグラフィは地域内でない fact5: 仮にあの立面図が忘れ難いならばこのジェイジは居住用家屋でない fact6: 仮にこの肉桂が遍歴しないとするとこの差し出し人不明は地域内でないかあるいは切り離し難いということはないかもしくは両方ともだ fact7: もしもこの知的階層が忘れ難いけれど刃先でないならばあの立面図は忘れ難くない fact8: もし「このオートラジオグラフィは地域内でない」ということは成り立つとすればあの立面図は忘れ難いか居住用家屋でないかもしくは両方ともだ fact9: もし仮に「あの立面図は刃先でなくてかつ毛沢東等でない」ということは成り立たないとするとこのジェイジは忘れ難くない fact10: 仮にこの知的階層が生着するならこのジェイジは毛沢東等でない fact11: 「この知的階層は生着するということはなくて目敏くない」ということは偽であるとすればこのジェイジは毛沢東等でない fact12: もしも「なにかは刃先でかつ居住用家屋である」ということは成り立たないとすれば「刃先でない」ということは確かである fact13: もしも何らかのものは刃先でないならば「生着しなくて目敏くない」ということは成り立たない fact14: もし仮になにがしかのものがぞめかないとすると居辛いしまたそれは熊本地裁である fact15: もし仮になにかは居辛いとすれば刃先である fact16: あの立面図は刃先であるけれど天皇家でない fact17: もし何かは刃先でないなら「それは生着するし目敏くない」ということは成り立たない fact18: 「あの立面図は刃先である一方で忘れ難いということはない」ということは真実ならこの知的階層は刃先でない fact19: あの立面図は刃先であるけれど忘れ難くない fact20: 仮にあの立面図が居住用家屋でないならばあのジェイジは居住用家屋でない fact21: もしあの立面図は忘れ難くないなら「生着しないしそれは刃先である」ということは成り立つということはない fact22: もし仮にとある物は刃先でないとすると「それが毛沢東等だし目敏くない」ということは嘘である fact23: 「もしもあの立面図が目敏いし刃先ならこの知的階層は目敏いということはない」ということは本当である
fact13 -> int1: もしこの知的階層は刃先でないとすると「それは生着しなくてそれに目敏くない」ということは間違っている; fact18 & fact19 -> int2: この知的階層は刃先でない; int1 & int2 -> int3: 「この知的階層は生着しないし更に目敏くない」ということは成り立たない; int3 & fact11 -> hypothesis;
fact13 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); fact18 & fact19 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ¬(¬{AA}{aa} & ¬{AB}{aa}); int3 & fact11 -> hypothesis;
あの蒸留器は刃先であるということはない
fact24 -> int4: もしも「あの蒸留器は刃先でその上それは居住用家屋だ」ということは嘘であるならば刃先でない;
$facts$ = fact1: もし仮になんらかのものは居住用家屋でないけれど刃先ならば毛沢東等だ fact2: この肉桂は遍歴しない fact3: この知的階層は目敏くないとすると「それは毛沢東等であるけれど刃先であるということはない」ということは成り立つということはない fact4: もしこの差し出し人不明が地域内でないならばあのオートラジオグラフィは地域内でない fact5: 仮にあの立面図が忘れ難いならばこのジェイジは居住用家屋でない fact6: 仮にこの肉桂が遍歴しないとするとこの差し出し人不明は地域内でないかあるいは切り離し難いということはないかもしくは両方ともだ fact7: もしもこの知的階層が忘れ難いけれど刃先でないならばあの立面図は忘れ難くない fact8: もし「このオートラジオグラフィは地域内でない」ということは成り立つとすればあの立面図は忘れ難いか居住用家屋でないかもしくは両方ともだ fact9: もし仮に「あの立面図は刃先でなくてかつ毛沢東等でない」ということは成り立たないとするとこのジェイジは忘れ難くない fact10: 仮にこの知的階層が生着するならこのジェイジは毛沢東等でない fact11: 「この知的階層は生着するということはなくて目敏くない」ということは偽であるとすればこのジェイジは毛沢東等でない fact12: もしも「なにかは刃先でかつ居住用家屋である」ということは成り立たないとすれば「刃先でない」ということは確かである fact13: もしも何らかのものは刃先でないならば「生着しなくて目敏くない」ということは成り立たない fact14: もし仮になにがしかのものがぞめかないとすると居辛いしまたそれは熊本地裁である fact15: もし仮になにかは居辛いとすれば刃先である fact16: あの立面図は刃先であるけれど天皇家でない fact17: もし何かは刃先でないなら「それは生着するし目敏くない」ということは成り立たない fact18: 「あの立面図は刃先である一方で忘れ難いということはない」ということは真実ならこの知的階層は刃先でない fact19: あの立面図は刃先であるけれど忘れ難くない fact20: 仮にあの立面図が居住用家屋でないならばあのジェイジは居住用家屋でない fact21: もしあの立面図は忘れ難くないなら「生着しないしそれは刃先である」ということは成り立つということはない fact22: もし仮にとある物は刃先でないとすると「それが毛沢東等だし目敏くない」ということは嘘である fact23: 「もしもあの立面図が目敏いし刃先ならこの知的階層は目敏いということはない」ということは本当である ; $hypothesis$ = このジェイジは毛沢東等でない ; $proof$ = 
fact13 -> int1: もしこの知的階層は刃先でないとすると「それは生着しなくてそれに目敏くない」ということは間違っている; fact18 & fact19 -> int2: この知的階層は刃先でない; int1 & int2 -> int3: 「この知的階層は生着しないし更に目敏くない」ということは成り立たない; int3 & fact11 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものは居住用家屋でないけれど刃先ならば毛沢東等だ
事実2: この肉桂は遍歴しない
事実3: この知的階層は目敏くないとすると「それは毛沢東等であるけれど刃先であるということはない」ということは成り立つということはない
事実4: もしこの差し出し人不明が地域内でないならばあのオートラジオグラフィは地域内でない
事実5: 仮にあの立面図が忘れ難いならばこのジェイジは居住用家屋でない
事実6: 仮にこの肉桂が遍歴しないとするとこの差し出し人不明は地域内でないかあるいは切り離し難いということはないかもしくは両方ともだ
事実7: もしもこの知的階層が忘れ難いけれど刃先でないならばあの立面図は忘れ難くない
事実8: もし「このオートラジオグラフィは地域内でない」ということは成り立つとすればあの立面図は忘れ難いか居住用家屋でないかもしくは両方ともだ
事実9: もし仮に「あの立面図は刃先でなくてかつ毛沢東等でない」ということは成り立たないとするとこのジェイジは忘れ難くない
事実10: 仮にこの知的階層が生着するならこのジェイジは毛沢東等でない
事実11: 「この知的階層は生着するということはなくて目敏くない」ということは偽であるとすればこのジェイジは毛沢東等でない
事実12: もしも「なにかは刃先でかつ居住用家屋である」ということは成り立たないとすれば「刃先でない」ということは確かである
事実13: もしも何らかのものは刃先でないならば「生着しなくて目敏くない」ということは成り立たない
事実14: もし仮になにがしかのものがぞめかないとすると居辛いしまたそれは熊本地裁である
事実15: もし仮になにかは居辛いとすれば刃先である
事実16: あの立面図は刃先であるけれど天皇家でない
事実17: もし何かは刃先でないなら「それは生着するし目敏くない」ということは成り立たない
事実18: 「あの立面図は刃先である一方で忘れ難いということはない」ということは真実ならこの知的階層は刃先でない
事実19: あの立面図は刃先であるけれど忘れ難くない
事実20: 仮にあの立面図が居住用家屋でないならばあのジェイジは居住用家屋でない
事実21: もしあの立面図は忘れ難くないなら「生着しないしそれは刃先である」ということは成り立つということはない
事実22: もし仮にとある物は刃先でないとすると「それが毛沢東等だし目敏くない」ということは嘘である
事実23: 「もしもあの立面図が目敏いし刃先ならこの知的階層は目敏いということはない」ということは本当である

仮説: このジェイジは毛沢東等でない
1. 事実13から、推論1: "もしこの知的階層は刃先でないとすると「それは生着しなくてそれに目敏くない」ということは間違っている"が導かれる
2. 事実18と事実19から、推論2: "この知的階層は刃先でない"が導かれる
3. 推論1と推論2から、推論3: "「この知的階層は生着しないし更に目敏くない」ということは成り立たない"が導かれる
4. 推論3と事実11から、仮説が導かれる

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