あのもにゃもにゃLv.95は手っ取り早くない
fact1: このみいみわLv.82は様良し fact2: とあるモンスターは様良し fact3: このみいみわLv.82は面倒臭い
fact1 & fact3 -> int1: このみいみわLv.82は様良くてさらに面倒臭い; int1 -> int2: とあるモンスターは様良しししかもそれは面倒臭い;
fact1 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x);
$facts$ = fact1: このみいみわLv.82は様良し fact2: とあるモンスターは様良し fact3: このみいみわLv.82は面倒臭い ; $hypothesis$ = あのもにゃもにゃLv.95は手っ取り早くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__