Условие:
I. Кличка Собаки - Зефирка.
2. Салли не лает и не мычит.
3. Кличка петуха не Рубин, и он не мяукает.
4. Корова лает, и ее кличка не Салли.
5. Кошка кукарекает.

I. Кличка Собаки - Зефирка.
2. Салли не лает и не мычит.
3. Кличка петуха не Рубин, и он не мяукает.
4. Корова лает, и ее кличка не Салли.
5. Кошка кукарекает.

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение