1) Если рыжий ест рыбу, то черный сосиску, тогда белый ест корм.
2) Если рыжий ест сосиску, то черный ест корм, тогда белый ест рыбу.
3) Если черный ест не рыбу, то и белый не рыбу, тогда рыжий ест рыбу.
4) Если белый ест корм, то рыжий ест сосиску, тогда черный ест рыбу.
1) и 4) противоречат друг другу. Если рыжий ест рыбу, то белый - корм.
Но если белый ест корм, то рыжий ест сосиску.
Значит, рыжий ест НЕ рыбу. Значит, 3) тоже не выполняется.
Тогда черный ест рыбу. Теперь, если рыжий ест сосиску, то по 2) черный должен есть корм, а он ест рыбу. Значит, рыжий ест корм, а белый сосиску.
Итак: черный ест рыбу, рыжий ест корм, белый ест сосиску.