Да уж, Dmitry Stashenko, задачка посложнее, но должен справиться)

Допустим Гусеница лжет, тогда лжет и Ящерка(которая тогда не является вором), следовательно утверждение кота о том, что он не расположен к поглащению соли верно и вором в таком случае является Гусеница.
Но допустим Гусеница не врет о том, что вор Ящерка, тогда и Ящерка говорит правду, свидетельствуя не в пользу себя, но один из опрашиваемых должен лгать, значит лжет кот, тогда если бы было утверждение, что он не ел эту соль мы бы были уверены в том, что вор Гусеница, в такой же формулировке мы лишь можем сказать, что Кот соврал на счет того, что он не ест соли(прикладывается наверное частенько), т.е. вором в данном случае могла быть Ящерка, и как следствие у нас не достаточно данных для изобличения вора!