ajout de deductFromClause pour chaque variable
renvoie de la clause problemenatique lors d'un conflit