Input: There must be aliens outside our solar system
(A) No one has proof of having seen aliens
(B)The universe is very big
(C)Scientists haven't proved the existence of aliens
Output: C