Input: Everyone at the party had a drink, but some of them did not.
(A) If everyone had a drink, then there was no one who did not have a drink.
(B)Some people don't drink.
(C)Some people at the party were driving home.
Output: A