In resolution rule don't remove the clause where it is applied