Premise: The equation is not automatic or perfect.

Hypothesis: The equation is perfect.
Relation: contradiction