あのもちゅもにゃLv.58は緩み易い
fact1: もし仮にあのもちゅもにゃLv.58がアプローチし易いとするとそれは敢え無い fact2: もしもあのもちゅもにゃLv.58がアプローチし易くないとしたらあのもちゅもにゃLv.58は緩み易い
void -> assump1: 以下のように仮定する。あのもちゅもにゃLv.58はアプローチし易い; fact1 & assump1 -> int1: あのもちゅもにゃLv.58は敢え無い;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a};
$facts$ = fact1: もし仮にあのもちゅもにゃLv.58がアプローチし易いとするとそれは敢え無い fact2: もしもあのもちゅもにゃLv.58がアプローチし易くないとしたらあのもちゅもにゃLv.58は緩み易い ; $hypothesis$ = あのもちゅもにゃLv.58は緩み易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__