fail.
 
fail. - Предикат, ассоциированный со значением "Ложь".
 

goal: fail.

Нет