there exists something such that if it is not antithyroid and it does not swash then it is not poor.
sent1: if the metamere is both not antithyroid and not a swash then it is not a kind of a poor.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not antithyroid and it does not swash then it is not poor. ; $context$ = sent1: if the metamere is both not antithyroid and not a swash then it is not a kind of a poor. ; $proof$ = 
sent1 -> hypothesis; __PROVED__