Recherche:

Un premier point: cons n'ouvre une parenthèse que lorsqu'il est au début de l'expression; à l'intérieur de l'expression, il faut deux cons pour ouvrir une parenthèse:
(cons 'a (cons 'b nil)) = '(a...

cons ne prend que deux arguments. Or dans ton programme, tu lui en donnes 3:

1. (quote cond)
2. (cons (cons 'not (cons pocket nil))(cons (cons'return (cons pocket nil)) nil))
3. Nil

D'où...