Нет в задаче множества "родители". Также как не в задаче множества "получатели материнского капитала", хотя таковые вполне могут оказаться в наличии. Люди есть, а множества в задаче нету.
Одно из условий - соотношение между множествами "взрослые" и "дети". Поэтому как только Вы задаете множества "родители", "члены едра", "почетные доноры", получатели материнского капитала" и т.д., Вы должны задать соотношение между любым из перечисленных и "взрослые". Однозначное. Иначе задача имеет любое решение.
Поэтому строгий ход решения примерно таков:
Первая часть для продвинутых детей, не знающих разницу между "взрослый" и "деть".
Есть множества "Добщ" - дети, "Д" - девочки, "М"- мальчики, "В" - взрослые. Если "Добщ" и "В" пересекаются или "Д" и "В" пересекаются или "М" и "В" пересекаются - задача может иметь любое решение, поскольку области пересечения никак не определены. Таким образом отсекаются все оксюмороны в стиле О. Бендера. (Можно еще уточнить, что Д + М = Добщ, если это не так, то задача опять имеет..., поскольку...). Причем отсекаются строго - области пересечений не определены в условиях задачи. Любой произвол, в том числе тот, который Вы выбрали - в данном случае произвол.
Вторая часть для всех, включая тех недалеких, которые знают разницу.
В противном случае возникает система уравнений:
Добщ = Д + М
Добщ < В.
М > Д
2Д >= В
Очевидно, что ее решением является пустое множество. Т.е. такого дома не существует. Что и требовалось доказать.
Кстати из решения видно, что совсем не важно, где живут эти мальчики и девочки. Главное, что они либо "дети", либо "взрослые".
PS. Да, совсем забыл. Множества Д и М тоже не пересекаются, иначе см. п. 1.