Generalisation Through Negation and Predicate Invention