there exists something such that if it is a saboteur then it is not parental.
sent1: something is not a mortgagor if it does thirst Boise. sent2: the probenecid is not parental if it is a saboteur. sent3: there exists something such that if it is a kind of a saboteur it is parental. sent4: the fact that there is something such that if it is a noncombatant then it is not athletics is true. sent5: if the probenecid is parental it is a kind of a reticule. sent6: if the probenecid is a Napier then it is parental. sent7: there is something such that if it screams maul then it does thirst hamster. sent8: the probenecid is parental if that it is a kind of a saboteur is not false. sent9: there exists something such that if it trebles probenecid then it is a kind of a Haitian.
sent2 -> hypothesis;
there exists something such that if it does thirst Boise then it is not a mortgagor.
sent1 -> int1: the symphysis is not a mortgagor if it does thirst Boise.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a saboteur then it is not parental. ; $context$ = sent1: something is not a mortgagor if it does thirst Boise. sent2: the probenecid is not parental if it is a saboteur. sent3: there exists something such that if it is a kind of a saboteur it is parental. sent4: the fact that there is something such that if it is a noncombatant then it is not athletics is true. sent5: if the probenecid is parental it is a kind of a reticule. sent6: if the probenecid is a Napier then it is parental. sent7: there is something such that if it screams maul then it does thirst hamster. sent8: the probenecid is parental if that it is a kind of a saboteur is not false. sent9: there exists something such that if it trebles probenecid then it is a kind of a Haitian. ; $proof$ = 
sent2 -> hypothesis; __PROVED__