there exists something such that if it is a Gordimer then the fact that it is not a kind of a Algerian is right.
sent1: there is something such that if it is a Gordimer then it is a Algerian. sent2: there is something such that if it masks wraparound then it is a Buchloe. sent3: something that is nonexempt does not mask Halle. sent4: if the labetalol is a Gordimer then it is non-Algerian.
sent4 -> hypothesis;
the bull does not mask Halle if it is nonexempt.
sent3 -> hypothesis;
$hypothesis$ = there exists something such that if it is a Gordimer then the fact that it is not a kind of a Algerian is right. ; $context$ = sent1: there is something such that if it is a Gordimer then it is a Algerian. sent2: there is something such that if it masks wraparound then it is a Buchloe. sent3: something that is nonexempt does not mask Halle. sent4: if the labetalol is a Gordimer then it is non-Algerian. ; $proof$ = 
sent4 -> hypothesis; __PROVED__