そのもくもにょLv.51は徒らっぽくない
fact1: もし仮にこのまにゃまちゃLv.33が黄色いならそのぷくぷのLv.37は評価し合う fact2: このまにゃまちゃLv.33は黄色い
fact1 & fact2 -> int1: そのぷくぷのLv.37は評価し合う; int1 -> int2: そのぷくぷのLv.37は評価し合うかまたは立て難い;
fact1 & fact2 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b});
$facts$ = fact1: もし仮にこのまにゃまちゃLv.33が黄色いならそのぷくぷのLv.37は評価し合う fact2: このまにゃまちゃLv.33は黄色い ; $hypothesis$ = そのもくもにょLv.51は徒らっぽくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__