Muchas gracias Carlos! El problema creo que era que no me estaba dando cuenta cómo utilizar las hipótesis generadas por la inversion H0.
Reemplacé (delete x (consL a l)) por (consL a (delete x l)) y ahí fue saliendo.
Reemplacé (delete x (consL a l)) por (consL a (delete x l)) y ahí fue saliendo.