Given - No doctor buys Advil. - Some people who buy Advil are sick. Using first-order logic, prove that: Some sick people are not doctors. Assume that the universe consists of all people and use the following predicates in your proof: D(x): x is a doctor A(x): x buys Advil S(x): x is sick