there is something such that if it is not a dodecagon and it is not a rational it is not scholastic.
sent1: if the octoroon does not surprise headstand but it is not non-nephritic it is not a kind of a Quaoar. sent2: if something that is not a kind of a dodecagon is not a kind of a rational then it is not scholastic. sent3: there is something such that if it is both not a Armenian and not a ceilidh it does not lag hyperadrenocorticism. sent4: if the semen is both not a dodecagon and not rational that it is scholastic is not false. sent5: there is something such that if it is tetravalent and it does not lag hyperadrenocorticism then the fact that it is not a thesis is not incorrect. sent6: if something that is not a kind of a dodecagon is a rational then it is not scholastic. sent7: there is something such that if it is both a dodecagon and not a rational then it is not scholastic. sent8: there is something such that if it is not non-aphasic and not a thesis it is not roentgenographic. sent9: something is not scholastic if it is a dodecagon but not a rational.
sent2 -> int1: the semen is not scholastic if it is not a dodecagon and it is not rational.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a dodecagon and it is not a rational it is not scholastic. ; $context$ = sent1: if the octoroon does not surprise headstand but it is not non-nephritic it is not a kind of a Quaoar. sent2: if something that is not a kind of a dodecagon is not a kind of a rational then it is not scholastic. sent3: there is something such that if it is both not a Armenian and not a ceilidh it does not lag hyperadrenocorticism. sent4: if the semen is both not a dodecagon and not rational that it is scholastic is not false. sent5: there is something such that if it is tetravalent and it does not lag hyperadrenocorticism then the fact that it is not a thesis is not incorrect. sent6: if something that is not a kind of a dodecagon is a rational then it is not scholastic. sent7: there is something such that if it is both a dodecagon and not a rational then it is not scholastic. sent8: there is something such that if it is not non-aphasic and not a thesis it is not roentgenographic. sent9: something is not scholastic if it is a dodecagon but not a rational. ; $proof$ = 
sent2 -> int1: the semen is not scholastic if it is not a dodecagon and it is not rational.; int1 -> hypothesis; __PROVED__