У дяди Вани живёт 30 животных: овцы и кролики. Все кролики белые, а у овец разн

У дяди Вани живёт 30 животных: овцы и кролики. Все кролики белые, а у овец разный цвет шерсти. Известно, что у дяди Вани живёт 18 овец и 25 животных с белой шерстью. Сколько белых овец у дяди Вани? Выполните формализацию задачи и решите её. СРОЧНО