that there is something such that if it is a kind of a jaguar then it is not contractual is false.
sent1: there is something such that if it is verbal it is not a jumping. sent2: the pentose is contractual if it is a jaguar. sent3: there is something such that if it is a kind of a jaguar then it is contractual. sent4: if that something is a jaguar is true it is not contractual. sent5: something is not a kind of a flip if it is a kind of an analogue. sent6: if something is a kind of a jaguar it is contractual.
sent4 -> int1: the pentose is not contractual if it is a kind of a jaguar.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it is a kind of a jaguar then it is not contractual is false. ; $context$ = sent1: there is something such that if it is verbal it is not a jumping. sent2: the pentose is contractual if it is a jaguar. sent3: there is something such that if it is a kind of a jaguar then it is contractual. sent4: if that something is a jaguar is true it is not contractual. sent5: something is not a kind of a flip if it is a kind of an analogue. sent6: if something is a kind of a jaguar it is contractual. ; $proof$ = 
sent4 -> int1: the pentose is not contractual if it is a kind of a jaguar.; int1 -> hypothesis; __DISPROVED__