あのぴにゅぴよLv.52は彼らしくない
fact1: もし仮に「「彼らしいしそれに辛抱強くない」モンスターはいる」ということは真実ならこのぴちょぴにょLv.41は彼らしくない fact2: あのぴにゅぴよLv.52が悔しいかまたはそれが彼らしいか両方だとすればこのぴちょぴにょLv.41は辛抱強くない
void -> assump1: 以下のように仮定する。あのぴにゅぴよLv.52は彼らしい; assump1 -> int1: あのぴにゅぴよLv.52は悔しいかもしくは彼らしいかあるいはどちらもだ; int1 & fact2 -> int2: このぴちょぴにょLv.41は辛抱強くない;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{b};
このぴちょぴにょLv.41は客観視するかまたはそれは勿体無い
$facts$ = fact1: もし仮に「「彼らしいしそれに辛抱強くない」モンスターはいる」ということは真実ならこのぴちょぴにょLv.41は彼らしくない fact2: あのぴにゅぴよLv.52が悔しいかまたはそれが彼らしいか両方だとすればこのぴちょぴにょLv.41は辛抱強くない ; $hypothesis$ = あのぴにゅぴよLv.52は彼らしくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__