Anchor: The formula doesn't exist.
Entailed: The formula to solve that problem has not yet been created.
Contradiction: The formula exists and is readily available to anyone.
Contradiction: Currently the Federal Government holds less than 500 million acres of land.
Contradiction: We could save some money to pay for our kids' education.
Contradiction: Nobody has a skateboard.
Contradiction: The man holding a cellphone is not naked.