Не понял - зачем Вы фактически продублировали мою систему уравнений, введя дополнительный параметр? Ради перехода на английские буквы? Или за строгость формализма в мощностях множеств? )))
С конца Вашего рассуждения иду:
1."G >=N" (2G >=2N=P) эквивалентно моему "2Д >= В" (Тут я детали опустил, но они тривиальны. Если у каждого мальчика есть сестра-девочка, и пара имеет как минимум одного ребенка, то...).
2."В+G" < 2N (2N = Р) эквивалентно моему "М+Д < В"
3."B>G" эквивалентно "М>Д"
Конечный вывод я формульно делать не стал, поскольку он тривиален.
"М+Д < В" с одной стороны (условие 2). "М+Д > 2Д >=В" или "М+Д > В" с другой стороны (условия 1 и 3).