あのぷちゅぷゆLv.72は儚し
fact1: あのぷちゅぷゆLv.72は伝え易いし拭い難い fact2: もし仮にあのぷちゅぷゆLv.72が拭い難くないとするとこのもやもにゃLv.36は地中深いしそれにそれは伝え易い fact3: 仮にあのぷちゅぷゆLv.72が伝え易いならあのぷちゅぷゆLv.72は地中深い
fact1 -> int1: あのぷちゅぷゆLv.72は伝え易い; int1 & fact3 -> int2: あのぷちゅぷゆLv.72は地中深い;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{a};
このもやもにゃLv.36は地中深い
$facts$ = fact1: あのぷちゅぷゆLv.72は伝え易いし拭い難い fact2: もし仮にあのぷちゅぷゆLv.72が拭い難くないとするとこのもやもにゃLv.36は地中深いしそれにそれは伝え易い fact3: 仮にあのぷちゅぷゆLv.72が伝え易いならあのぷちゅぷゆLv.72は地中深い ; $hypothesis$ = あのぷちゅぷゆLv.72は儚し ; $proof$ = 
__UNKNOWN__
__UNKNOWN__