أرسل هذا في رسالة قصيرة: Generalisation through negation and predicate invention