has at least one red bean (or the number of red beans ri⩾1r_i \geqslant 1ri⩾1);
has at least one blue bean (or the number of red beans bi⩾1b_i \geqslant 1bi⩾1);
@chen_zhe