there exists something such that if it is a SA then it is not a kind of a mediant and it is not an aesthetics.
sent1: the quack is not a mediant and it is not an aesthetics if it is a kind of a SA. sent2: something is not efficacious and it is not a tamarin if it is a Verner.
sent1 -> hypothesis;
there is something such that if it is a kind of a Verner it is not efficacious and it is not a tamarin.
sent2 -> int1: the boarder is not efficacious and is not a kind of a tamarin if it is a Verner.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a SA then it is not a kind of a mediant and it is not an aesthetics. ; $context$ = sent1: the quack is not a mediant and it is not an aesthetics if it is a kind of a SA. sent2: something is not efficacious and it is not a tamarin if it is a Verner. ; $proof$ = 
sent1 -> hypothesis; __PROVED__