there is something such that if that it is lenten but not creedal is right it is not agreeable.
sent1: the rester is not a machismo if it is a IOL and does not negotiate anatomical. sent2: that the twerp is not agreeable hold if it is lenten and it is not creedal.
sent2 -> hypothesis;
$hypothesis$ = there is something such that if that it is lenten but not creedal is right it is not agreeable. ; $context$ = sent1: the rester is not a machismo if it is a IOL and does not negotiate anatomical. sent2: that the twerp is not agreeable hold if it is lenten and it is not creedal. ; $proof$ = 
sent2 -> hypothesis; __PROVED__