there exists something such that if the fact that it is not atypical is right then it is not a aptness and/or it does not paste.
sent1: if the juggler is not atypical then it is not a aptness or not a paste or both. sent2: something is not atypical and/or it is not invasive if it is not a kind of a lederhosen. sent3: either the juggler is a aptness or it does not paste or both if it is not atypical.
sent1 -> hypothesis;
if the gantlet is not a kind of a lederhosen either it is not atypical or it is not invasive or both.
sent2 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not atypical is right then it is not a aptness and/or it does not paste. ; $context$ = sent1: if the juggler is not atypical then it is not a aptness or not a paste or both. sent2: something is not atypical and/or it is not invasive if it is not a kind of a lederhosen. sent3: either the juggler is a aptness or it does not paste or both if it is not atypical. ; $proof$ = 
sent1 -> hypothesis; __PROVED__