For the following, prove the conclusion from the premises. 1) ∀x∈d: p(x)→q(x) 2) ∀x∈d: r(x)∨~q(x) 3) john∈d 4) p(john) conclusion: r(john)

Joe has a rectangular chicken coop. the length of the coop is 4 feet less than twice the width. the area of the chicken coop is 510 square feet. what is the length of the chicken coup?