The Wiethoff Company Has a Contract to Produce 10,000 Garden

The Wiethoff Company has a contract to produce 10,000 garden hoses for a customer. Wiethoff has four different machines that can produce this kind of hose. Because these machines are from different manufacturers and use differing technologies, their specifications are not the same and not all four machines have to be used to produce all of the garden hoses. $\begin{array}{cccc}&\text { Fixed Cost }\\&to~ Setup&Variable ~Cost\\\text { Machine } & \text { Production Run } & \text { per Hose } & \text { Capacity } \\\hline 1 & 750 & 1.25 & 6000 \\2 & 500 & 1.50 & 7500 \\3 & 1000 & 1.00 & 4000 \\4 & 300 & 2.00 & 5000\end{array}$
Write a constraint to ensure that if machine 4 is used, machine 1 will not be used.