Все как-то проходят мимо основных логических посылов в этой задаче. Пусть X и Y - число съеденных сосисок рыжим и серым котами, соответственно. Из первого условия следует, что Х > Y а из второго, что
Y ≥ X. Эти неравенства не совместимы, а соответствующее логическое высказывание (Х > Y)˄(Y ≥ X)≡"ложь". Из ложного посыла может следовать как истина так и ложь. Ответ ** вопрос задачи: да, может или нет, не может.