Переписать решение задачи, используя cut и fail - Prolog

Формулировка задачи:

Здравствуйте. Есть простая задачка на поиск соответствий имен и фамилий:

lastName('Ivanov').
lastName('Semenov').
lastName('Gerasimov').
 
fullName(Misha,Volodya,Petya):-
lastName(Misha),Misha\=='Gerasimov',!,
lastName(Volodya),Volodya\=='Ivanov',!,
lastName(Petya),Petya\==Misha,Petya\==Volodya.

?- fullName(Misha,Volodya,Petya).

Преподаватель заставил переписать решение, используя комбинацию предикатов cut и fail (!,fail). Слабо понимаю, каким образом их здесь применить, надеюсь, кто-нибудь здесь может помочь с решением.

Решение задачи: «Переписать решение задачи, используя cut и fail»

Листинг программы

8 ?- fullName(Misha, Volodya, Petya).
Misha = 'Ivanov',
Volodya = 'Semenov',
Petya = 'Gerasimov' ;
false.

Объяснение кода листинга программы

Задача - переписать решение задачи, используя cut и fail.
Решение задачи представлено в виде запроса на языке Prolog:
fullName(Misha, Volodya, Petya) - функция, которая возвращает true, если переданные имена существуют в базе данных, иначе возвращает false.
База данных содержит три записи с именами:
Misha = 'Ivanov' - запись с именем Misha.
Volodya = 'Semenov' - запись с именем Volodya.
Petya = 'Gerasimov' - запись с именем Petya.
Запрос fullName(Misha, Volodya, Petya) проверяет наличие всех трех имен в базе данных.
Если все три имени существуют, то возвращается true, иначе возвращается false.
В данном случае, все три имени существуют в базе данных, поэтому возвращается true.
В результате выполнения запроса получаем:
Misha = 'Ivanov'
Volodya = 'Semenov'
Petya = 'Gerasimov'
Вывод: Запрос fullName(Misha, Volodya, Petya) возвращает true, если все три имени существуют в базе данных.
В данном случае, все три имени существуют, поэтому возвращается true.
Варианты ответов:
A - Запрос fullName(Misha, Volodya, Petya) возвращает true, если все три имени существуют в базе данных.
B - Запрос fullName(Misha, Volodya, Petya) возвращает false, если хотя бы одно из имен не существует в базе данных.
C - Запрос fullName(Misha, Volodya, Petya) возвращает true, если хотя бы одно из имен не существует в базе данных.