@oscarlinusericsson perhaps a negation rule expressed in the negated form of what you were looking for?

Basically turning “for all” into “there does not exist any”

From “All facts have x” To “No fact does not have x”