Prolog - encallado en esta regla, me devuelve false siempre que ejecuto la llamada recursiva

Filtrado por el usuario: Foxperto
<<>>
Filtrado por el usuario 'Foxperto' (Eliminar fitro)
 
Vista: