あの熨斗梅はポンでない
fact1: もしこの四方山話が剥がれ易くないならばあの熨斗梅は剥がれ易い fact2: 仮にこの四方山話は剥がれ易いし第七移動動物園ならば御答え出来ない fact3: この四方山話はポンでない fact4: あの堤が第七移動動物園であるとしたらこの四方山話は第七移動動物園だ fact5: あの熨斗梅はリーチである fact6: あの遺伝学者はポンである fact7: あの思想は御答え出来ない fact8: もし何かは御答え出来るしさらに剥がれ易いならポンであるということはない fact9: あの半分以上はポンである fact10: あの熨斗梅は痩せる fact11: 「もし仮に「この四方山話は第七移動動物園だ」ということは事実であるならあの熨斗梅はポンである」ということは成り立つ fact12: あの鷹司家は剥がれ易くない fact13: この四方山話は逸れるし更に開校する fact14: この先進各国は剥がれ易くない fact15: あの熨斗梅はドイツ民族だ fact16: もし仮に覚束無いものは野太いなら「それは発症し易いということはない」ということは成り立つ fact17: この四方山話は気高し fact18: この四方山話は第七移動動物園でない fact19: この四方山話は剥がれ易くない fact20: この細分化が着替え為さらなくて加えて高圧ガス施設でないならばあの堤は剥がれ易くない fact21: 聞き易い物は着替え為さらなくて高圧ガス施設でない fact22: あの熨斗梅は第七移動動物園であるししかも御答え出来る fact23: あの熨斗梅は第七移動動物園である fact24: もし仮にこの四方山話は御答え出来るしポンであるとするとそれは剥がれ易くない
fact22 -> int1: あの熨斗梅は御答え出来る; fact19 & fact1 -> int2: あの熨斗梅は剥がれ易い; int1 & int2 -> int3: あの熨斗梅は御答え出来るし剥がれ易い; fact8 -> int4: もしもあの熨斗梅は御答え出来るし加えて剥がれ易いならそれはポンであるということはない; int3 & int4 -> hypothesis;
fact22 -> int1: {B}{a}; fact19 & fact1 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); fact8 -> int4: ({B}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
あの熨斗梅はポンだ
fact28 -> int5: もしこの細分化が聞き易いならば着替え為さらないし高圧ガス施設でない;
$facts$ = fact1: もしこの四方山話が剥がれ易くないならばあの熨斗梅は剥がれ易い fact2: 仮にこの四方山話は剥がれ易いし第七移動動物園ならば御答え出来ない fact3: この四方山話はポンでない fact4: あの堤が第七移動動物園であるとしたらこの四方山話は第七移動動物園だ fact5: あの熨斗梅はリーチである fact6: あの遺伝学者はポンである fact7: あの思想は御答え出来ない fact8: もし何かは御答え出来るしさらに剥がれ易いならポンであるということはない fact9: あの半分以上はポンである fact10: あの熨斗梅は痩せる fact11: 「もし仮に「この四方山話は第七移動動物園だ」ということは事実であるならあの熨斗梅はポンである」ということは成り立つ fact12: あの鷹司家は剥がれ易くない fact13: この四方山話は逸れるし更に開校する fact14: この先進各国は剥がれ易くない fact15: あの熨斗梅はドイツ民族だ fact16: もし仮に覚束無いものは野太いなら「それは発症し易いということはない」ということは成り立つ fact17: この四方山話は気高し fact18: この四方山話は第七移動動物園でない fact19: この四方山話は剥がれ易くない fact20: この細分化が着替え為さらなくて加えて高圧ガス施設でないならばあの堤は剥がれ易くない fact21: 聞き易い物は着替え為さらなくて高圧ガス施設でない fact22: あの熨斗梅は第七移動動物園であるししかも御答え出来る fact23: あの熨斗梅は第七移動動物園である fact24: もし仮にこの四方山話は御答え出来るしポンであるとするとそれは剥がれ易くない ; $hypothesis$ = あの熨斗梅はポンでない ; $proof$ = 
fact22 -> int1: あの熨斗梅は御答え出来る; fact19 & fact1 -> int2: あの熨斗梅は剥がれ易い; int1 & int2 -> int3: あの熨斗梅は御答え出来るし剥がれ易い; fact8 -> int4: もしもあの熨斗梅は御答え出来るし加えて剥がれ易いならそれはポンであるということはない; int3 & int4 -> 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: あの熨斗梅は第七移動動物園である
事実24: もし仮にこの四方山話は御答え出来るしポンであるとするとそれは剥がれ易くない

仮説: あの熨斗梅はポンでない
1. 事実22から、推論1: "あの熨斗梅は御答え出来る"が導かれる
2. 事実19と事実1から、推論2: "あの熨斗梅は剥がれ易い"が導かれる
3. 推論1と推論2から、推論3: "あの熨斗梅は御答え出来るし剥がれ易い"が導かれる
4. 事実8から、推論4: "もしもあの熨斗梅は御答え出来るし加えて剥がれ易いならそれはポンであるということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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