Premise: assembly line formulas and ...

Hypothesis: Mathematical formulas and...
Relation: contradiction