このぷいぷちゃLv.21は信じ易い
fact1: 仮にこのぷいぷちゃLv.21が溶け難いしそれが示せるとすればこのぷいぷちゃLv.21は信じ易いということはない fact2: もしもこのぷわぷやLv.79が溶け難いしその上扱き混ぜるとしたらこのぷわぷやLv.79は信じ易くない fact3: あるモンスターが突っ張るならそれは示せないし加えてそれは信じ易くない fact4: 仮になにがしかのモンスターが扱き混ぜるならそれは信じ易い fact5: このぷいぷちゃLv.21は示せる fact6: このぷわぷやLv.79は扱き混ぜる fact7: もし何らかのモンスターが示せるということはないならそれは溶け難くて扱き混ぜる
そのぴえぴにLv.33は溶け難い
fact9 -> int1: もしもそのぴえぴにLv.33が示せないならそのぴえぴにLv.33は溶け難くてそれは扱き混ぜる; fact8 -> int2: 仮にそのぴえぴにLv.33が突っ張ればそれは示せないし信じ易くない;
$facts$ = fact1: 仮にこのぷいぷちゃLv.21が溶け難いしそれが示せるとすればこのぷいぷちゃLv.21は信じ易いということはない fact2: もしもこのぷわぷやLv.79が溶け難いしその上扱き混ぜるとしたらこのぷわぷやLv.79は信じ易くない fact3: あるモンスターが突っ張るならそれは示せないし加えてそれは信じ易くない fact4: 仮になにがしかのモンスターが扱き混ぜるならそれは信じ易い fact5: このぷいぷちゃLv.21は示せる fact6: このぷわぷやLv.79は扱き混ぜる fact7: もし何らかのモンスターが示せるということはないならそれは溶け難くて扱き混ぜる ; $hypothesis$ = このぷいぷちゃLv.21は信じ易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__