Premise: Additional billions have been invested in buildings, in part to house the automation.

Hypothesis: Billions of dollars were subtracted from automation costs.
Relation: contradiction