there is something such that if the fact that it is a amrinone and it is not a kind of a papyrus is right then it does disapprove hatchel.
sent1: the gruel is anosmic if it is a Helenium and it is a kind of a switchblade. sent2: if something is a amrinone but it is not a kind of a papyrus it disapproves hatchel. sent3: if the fact that the quick induces puritan and it is intractable is true then the fact that it disapproves hatchel is not wrong. sent4: if the quick is keyless and it is a kind of a extemporization then it induces semidiameter. sent5: something undercuts newt if it is a kind of a Helenium and it counterclaims.
sent2 -> int1: the quick does disapprove hatchel if it is a kind of a amrinone and it is not a kind of a papyrus.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is a amrinone and it is not a kind of a papyrus is right then it does disapprove hatchel. ; $context$ = sent1: the gruel is anosmic if it is a Helenium and it is a kind of a switchblade. sent2: if something is a amrinone but it is not a kind of a papyrus it disapproves hatchel. sent3: if the fact that the quick induces puritan and it is intractable is true then the fact that it disapproves hatchel is not wrong. sent4: if the quick is keyless and it is a kind of a extemporization then it induces semidiameter. sent5: something undercuts newt if it is a kind of a Helenium and it counterclaims. ; $proof$ = 
sent2 -> int1: the quick does disapprove hatchel if it is a kind of a amrinone and it is not a kind of a papyrus.; int1 -> hypothesis; __PROVED__