Using activity to forget clauses