1) Из условия задачи следует, что все мыши, которых мы присоединяем к серой - белого цвета. Отсюда следует, что серая мышь - одна.
2) Предположим, что имеются две, или более серых мышей. В этом случае существует, по меньшей мере, пара мышей серого цвета, что противоречит условию (из двух мышей хотя бы одна белая)
Следовательно, предположение наше ошибочно и у Ивана имеется лишь одна серая мышь
Ответ: у Ивана 1 серая мышь.