あのまえまいLv.23は尊くない
fact1: もし仮に「上げ易いし立て易い」モンスターがいるとすればあのまえまいLv.23は尊いということはない fact2: このみえみよLv.35は立て易い fact3: 「このみえみよLv.35は上げ易い」ということは成り立つ fact4: もしそのぷにぷえLv.9が立て易いということはないとすればこのぽやぽちゃLv.26は尊くてかつ上げ易い fact5: もし仮に「このみえみよLv.35は尊い」ということは真実だとするとあのまえまいLv.23は尊い fact6: 「なにがしかのモンスターは上げ易い」ということは成り立つ fact7: 「「立て易い」ということは真実である」モンスターはいる fact8: もしこのぽやぽちゃLv.26が尊いならばこのみえみよLv.35は尊い
fact3 & fact2 -> int1: このみえみよLv.35は上げ易いしおまけに立て易い; int1 -> int2: あるモンスターは上げ易いしそれに立て易い; int2 & fact1 -> hypothesis;
fact3 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact1 -> hypothesis;
あのまえまいLv.23は尊い
$facts$ = fact1: もし仮に「上げ易いし立て易い」モンスターがいるとすればあのまえまいLv.23は尊いということはない fact2: このみえみよLv.35は立て易い fact3: 「このみえみよLv.35は上げ易い」ということは成り立つ fact4: もしそのぷにぷえLv.9が立て易いということはないとすればこのぽやぽちゃLv.26は尊くてかつ上げ易い fact5: もし仮に「このみえみよLv.35は尊い」ということは真実だとするとあのまえまいLv.23は尊い fact6: 「なにがしかのモンスターは上げ易い」ということは成り立つ fact7: 「「立て易い」ということは真実である」モンスターはいる fact8: もしこのぽやぽちゃLv.26が尊いならばこのみえみよLv.35は尊い ; $hypothesis$ = あのまえまいLv.23は尊くない ; $proof$ = 
fact3 & fact2 -> int1: このみえみよLv.35は上げ易いしおまけに立て易い; int1 -> int2: あるモンスターは上げ易いしそれに立て易い; int2 & fact1 -> hypothesis; __PROVED__
fact3 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact1 -> hypothesis; __PROVED__