Вроде бы как раз это я старалась учесть в рассуждениях выше!

̶М̶н̶е̶ ̶к̶а̶ж̶е̶т̶с̶я̶,̶ ̶ч̶т̶о̶ ̶«̶с̶т̶р̶о̶к̶,̶ ̶г̶д̶е̶ ̶т̶о̶ч̶н̶о̶ ̶е̶с̶т̶ь̶ ̶Р̶Р̶Р̶Р̶ ̶и̶,̶ ̶в̶о̶з̶м̶о̶ж̶н̶о̶,̶ ̶О̶О̶О̶Р̶»̶ ̶и̶ ̶«̶с̶т̶р̶о̶к̶,̶ ̶г̶д̶е̶ ̶т̶о̶ч̶н̶о̶ ̶е̶с̶т̶ь̶ ̶О̶О̶О̶Р̶ ̶и̶,̶ ̶в̶о̶з̶м̶о̶ж̶н̶о̶,̶ ̶Р̶Р̶Р̶Р̶»̶,̶ ̶п̶р̶и̶м̶е̶р̶н̶о̶ ̶п̶о̶р̶о̶в̶н̶у̶.̶
Впрочем — вот это именно «кажется»; расчёт, даже приблизительный, не проводила.

А проводили ли вы моделирование с «только одна» и без этого условия?
Что получилось?

Upd. А, нет, ошиблась. (Upd-2. И тут опечаталась.)
Все возможные строки делятся на:
— те, где нет ни РРРР, ни ОООР (X штук);
— те, где есть обе (Y штук);
— те, где есть РРРР и нет ОООР (Z штук);
— те, где есть ОООР и нет РРРР (W штук);
в задаче спрашивалось про Z и W.

«строк, где точно есть РРРР и, возможно, ОООР» = Y + Z,
«строк, где точно есть ОООР и, возможно, РРРР» = Y + W.

Если Z < W, то и Y + Z < Y + W.