Considerando um sistema composto de planetas F, G e H (podendo haver mais de um planeta F, G e H), a negação da frase:
Para todo planeta F, tem-se que F é maior que G. Todos os planetas H não são habitáveis ou existe pelo menos um planeta H maior que os planetas F; é dada por:
