У Йозефа 100 мышей, некоторые из них белые,
некоторые – серые. Известно, что хотя бы одна
мышь серая, а из любых двух мышей хотя бы одна
– белая. Сколько серых мышей у Йозефа?

1

Пошаговое объяснение:

если серая мышь одна, то любая мышь в паре с ней будет белой, подходит. взяв других мышей (99 белых) - обе в паре будут белыми, тоже подходит, потому что хотя бы одна - белая.

если серых мышей будет 2 или больше, то будет существовать пара мышей из двух серых. тогда условие, что в любой паре хотя бы одна белая мышь, не будет соблюдаться, значит, это не подходит.