there exists something such that if the fact that it is not a socialism is not false it is a Antilope and it is a waker.
sent1: the Thracian is a Antilope and a waker if it is not a socialism.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not a socialism is not false it is a Antilope and it is a waker. ; $context$ = sent1: the Thracian is a Antilope and a waker if it is not a socialism. ; $proof$ = 
sent1 -> hypothesis; __PROVED__