Premise: The formula doesn't exist.

Hypothesis: The formula doesn't exist because it is not possible.
Relation: neutral