there exists something such that if it is not a one-upmanship then it is a sitar and it does shop delighted.
sent1: something that is not a kind of a one-upmanship is a sitar and does shop delighted. sent2: if something is not a one-upmanship then it is a sitar. sent3: there exists something such that if it is Moravian it does caper Loewe and it is a gurnard. sent4: there is something such that if it is non-cerous it is an axon.
sent1 -> int1: the greasepaint is a sitar and shops delighted if it is not a one-upmanship.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a one-upmanship then it is a sitar and it does shop delighted. ; $context$ = sent1: something that is not a kind of a one-upmanship is a sitar and does shop delighted. sent2: if something is not a one-upmanship then it is a sitar. sent3: there exists something such that if it is Moravian it does caper Loewe and it is a gurnard. sent4: there is something such that if it is non-cerous it is an axon. ; $proof$ = 
sent1 -> int1: the greasepaint is a sitar and shops delighted if it is not a one-upmanship.; int1 -> hypothesis; __PROVED__