「もし想像出来れば騙され易い」ものはある
fact1: もし仮に「あるものは馴染み難くないし更にそれは洗い上げない」ということは成り立たないならそれは騙され易い fact2: 「もし底角だとしたら再現出来る」物はある fact3: 「その美味しさは騙され易くない一方で大塚久雄著作集である」ということは間違いだ fact4: もしなにがしかのものは普通養子縁組であるならば「それが四苦八苦するということはないしその上恭しくない」ということは間違っている fact5: もし仮に何らかのものは想像出来るなら「それは馴染み難くないけれど洗い上げる」ということは成り立たない fact6: 「その美味しさは想像出来ないがしかし表現し難い」ということは誤っている fact7: もし仮に「その深緑色は馴染み難くないしさらに清くない」ということは成り立たないならばバテレン保護だ fact8: もしもあの第九項はし給うとしたら「想像し得ないしその上洗い上げない」ということは成り立つということはない fact9: もしもある物は想像出来るとすれば「それは馴染み難くないしかつ洗い上げるということはない」ということは嘘である
fact9 -> int1: もし仮に「その美味しさは想像出来る」ということは成り立つなら「馴染み難くなくて更にそれは洗い上げない」ということは誤りだ; void -> assump1: 以下のように仮定する。その美味しさは想像出来る; int1 & assump1 -> int2: 「その美味しさは馴染み難くないしさらに洗い上げない」ということは成り立つということはない; fact1 -> int3: もしも「「その美味しさは馴染み難いということはないし洗い上げるということはない」ということは成り立たない」ということは本当であるならそれは騙され易い; int2 & int3 -> int4: その美味しさは騙され易い; [assump1] & int4 -> int5: 「その美味しさは想像出来る」ということは成り立つとすれば「それは騙され易い」ということは本当である; int5 -> hypothesis;
$facts$ = fact1: もし仮に「あるものは馴染み難くないし更にそれは洗い上げない」ということは成り立たないならそれは騙され易い fact2: 「もし底角だとしたら再現出来る」物はある fact3: 「その美味しさは騙され易くない一方で大塚久雄著作集である」ということは間違いだ fact4: もしなにがしかのものは普通養子縁組であるならば「それが四苦八苦するということはないしその上恭しくない」ということは間違っている fact5: もし仮に何らかのものは想像出来るなら「それは馴染み難くないけれど洗い上げる」ということは成り立たない fact6: 「その美味しさは想像出来ないがしかし表現し難い」ということは誤っている fact7: もし仮に「その深緑色は馴染み難くないしさらに清くない」ということは成り立たないならばバテレン保護だ fact8: もしもあの第九項はし給うとしたら「想像し得ないしその上洗い上げない」ということは成り立つということはない fact9: もしもある物は想像出来るとすれば「それは馴染み難くないしかつ洗い上げるということはない」ということは嘘である ; $hypothesis$ = 「もし想像出来れば騙され易い」ものはある ; $proof$ = 
fact9 -> int1: もし仮に「その美味しさは想像出来る」ということは成り立つなら「馴染み難くなくて更にそれは洗い上げない」ということは誤りだ; void -> assump1: 以下のように仮定する。その美味しさは想像出来る; int1 & assump1 -> int2: 「その美味しさは馴染み難くないしさらに洗い上げない」ということは成り立つということはない; fact1 -> int3: もしも「「その美味しさは馴染み難いということはないし洗い上げるということはない」ということは成り立たない」ということは本当であるならそれは騙され易い; int2 & int3 -> int4: その美味しさは騙され易い; [assump1] & int4 -> int5: 「その美味しさは想像出来る」ということは成り立つとすれば「それは騙され易い」ということは本当である; int5 -> hypothesis; __PROVED__
事実1: もし仮に「あるものは馴染み難くないし更にそれは洗い上げない」ということは成り立たないならそれは騙され易い
事実2: 「もし底角だとしたら再現出来る」物はある
事実3: 「その美味しさは騙され易くない一方で大塚久雄著作集である」ということは間違いだ
事実4: もしなにがしかのものは普通養子縁組であるならば「それが四苦八苦するということはないしその上恭しくない」ということは間違っている
事実5: もし仮に何らかのものは想像出来るなら「それは馴染み難くないけれど洗い上げる」ということは成り立たない
事実6: 「その美味しさは想像出来ないがしかし表現し難い」ということは誤っている
事実7: もし仮に「その深緑色は馴染み難くないしさらに清くない」ということは成り立たないならばバテレン保護だ
事実8: もしもあの第九項はし給うとしたら「想像し得ないしその上洗い上げない」ということは成り立つということはない
事実9: もしもある物は想像出来るとすれば「それは馴染み難くないしかつ洗い上げるということはない」ということは嘘である

仮説: 「もし想像出来れば騙され易い」ものはある
1. 事実9から、推論1: "もし仮に「その美味しさは想像出来る」ということは成り立つなら「馴染み難くなくて更にそれは洗い上げない」ということは誤りだ"が導かれる
2. 仮定1: 以下のように仮定する。その美味しさは想像出来る
3. 推論1と仮定1から、推論2: "「その美味しさは馴染み難くないしさらに洗い上げない」ということは成り立つということはない"が導かれる
4. 事実1から、推論3: "もしも「「その美味しさは馴染み難いということはないし洗い上げるということはない」ということは成り立たない」ということは本当であるならそれは騙され易い"が導かれる
5. 推論2と推論3から、推論4: "その美味しさは騙され易い"が導かれる
6. [仮定1]と推論4から、推論5: "「その美味しさは想像出来る」ということは成り立つとすれば「それは騙され易い」ということは本当である"が導かれる
7. 推論5から、仮説が導かれる

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