Input: men don't have hair
(A) it's obvious that men have hair
(B)some men have green hair
(C)some women don't have green hair
Output: A