there is something such that if that it is a kind of intense thing that is cleared is incorrect then it is unairworthy.
sent1: if that the reptile is intense but it is not uncleared is not true it is unairworthy. sent2: if that the guitarist is a weekend but it is not an applesauce is false then it is unairworthy.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if that it is a kind of intense thing that is cleared is incorrect then it is unairworthy. ; $context$ = sent1: if that the reptile is intense but it is not uncleared is not true it is unairworthy. sent2: if that the guitarist is a weekend but it is not an applesauce is false then it is unairworthy. ; $proof$ = 
sent1 -> hypothesis; __PROVED__