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