あのみえみえLv.94がレコーディングするならそれはレコーディングするけど利用し易くない
fact1: あのみえみえLv.94は利用し易くない
void -> assump1: 以下のように仮定する。あのみえみえLv.94はレコーディングする; assump1 & fact1 -> int1: あのみえみえLv.94はレコーディングするけど利用し易くない; [assump1] & int1 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & ¬{B}{a}); [assump1] & int1 -> hypothesis;
$facts$ = fact1: あのみえみえLv.94は利用し易くない ; $hypothesis$ = あのみえみえLv.94がレコーディングするならそれはレコーディングするけど利用し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのみえみえLv.94はレコーディングする; assump1 & fact1 -> int1: あのみえみえLv.94はレコーディングするけど利用し易くない; [assump1] & int1 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & ¬{B}{a}); [assump1] & int1 -> hypothesis; __PROVED__