Проверить аргумент методом резолюций. Получить все следствия из данных посылок

Проверить аргумент методом резолюций. Получить все следствия из данных посылок.

«Если X , то (Y тогда и только тогда, когда Z). Если X, то Z и (если Z, то Y). Следовательно, X».

Решение оставил на фото, хотел бы услышать верно или нет и что конкретно неверно.