there is something such that if it is not a pentameter then it is not an airport and it nobbles.
sent1: if the tart is not a pentameter then it is not an airport and it does nobble. sent2: there exists something such that if it is not a kind of a pentameter then it does nobble.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a pentameter then it is not an airport and it nobbles. ; $context$ = sent1: if the tart is not a pentameter then it is not an airport and it does nobble. sent2: there exists something such that if it is not a kind of a pentameter then it does nobble. ; $proof$ = 
sent1 -> hypothesis; __PROVED__