このみいみにゃLv.84は押さえ為さらない
fact1: 仮に「このぴゆぴいLv.93は広がり易い」ということは成り立てばこのみいみにゃLv.84は押さえ為さる fact2: もし仮に何らかのモンスターは広がり易くないけれどめでたいとすると押さえ為さらない fact3: 仮にこのみいみにゃLv.84が広がり易いとするとこのぴゆぴいLv.93は押さえ為さる
このみいみにゃLv.84は押さえ為さらない
fact4 -> int1: 仮に「このみいみにゃLv.84は広がり易くないがめでたい」ということは確かであるならこのみいみにゃLv.84は押さえ為さらない;
$facts$ = fact1: 仮に「このぴゆぴいLv.93は広がり易い」ということは成り立てばこのみいみにゃLv.84は押さえ為さる fact2: もし仮に何らかのモンスターは広がり易くないけれどめでたいとすると押さえ為さらない fact3: 仮にこのみいみにゃLv.84が広がり易いとするとこのぴゆぴいLv.93は押さえ為さる ; $hypothesis$ = このみいみにゃLv.84は押さえ為さらない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__