Если бы обвинитель был лжецом,

Если бы обвинитель был лжецом, то тогда
1) X и Y оба были бы виновны;
2) X был бы виновен.
   И в этом случае мы бы опять пришли к противоречию. Следовательно, обвинитель - рыцарь, X не виновен, а Y виновен.