Кухарка и Кот.

15. Кухарка и Кот.
   Если бы кухарка была не в своем уме, то ее мнение о том, что по крайней мере один из двух - либо она, либо Чеширский Кот - не в своем уме, было бы истинным. Но тогда мы имели бы человека, который, будучи не в своем уме, придерживается здравых суждений, что противоречит условиям задачи. Следовательно, кухарка должна быть в здравом рассудке. А поскольку она в здравом уме, то ее суждения истинны, и поэтому один из двух - либо она, либо Чеширский Кот - не в своем уме. Поскольку этот "один" не кухарка, им должен быть Чеширский Кот.
  Итак, кухарка в здравом рассудке, а Чеширский Кот не в своем уме.

Проектно-вычислительный комплекс Structure CAD (SCAD) тут