there is something such that if that it is both a Saskatchewan and not a roughleg does not hold then it is a kind of a aa.
sent1: there exists something such that if it is a kind of a roughleg then it is a aa. sent2: there is something such that if it does not skim pivot then it is Riemannian. sent3: if that the southland is a Saskatchewan and does not rough is incorrect it is a kind of a aa. sent4: there exists something such that if the fact that it is extroversive and is a kind of a sculptress is not right that it is a kind of a undertide is correct. sent5: if the Ingrian is both lexical and not a aa then it is allomerous.
sent3 -> hypothesis;
$hypothesis$ = there is something such that if that it is both a Saskatchewan and not a roughleg does not hold then it is a kind of a aa. ; $context$ = sent1: there exists something such that if it is a kind of a roughleg then it is a aa. sent2: there is something such that if it does not skim pivot then it is Riemannian. sent3: if that the southland is a Saskatchewan and does not rough is incorrect it is a kind of a aa. sent4: there exists something such that if the fact that it is extroversive and is a kind of a sculptress is not right that it is a kind of a undertide is correct. sent5: if the Ingrian is both lexical and not a aa then it is allomerous. ; $proof$ = 
sent3 -> hypothesis; __PROVED__