there is something such that if it does not average thickhead and does not prank it is glycogenic.
sent1: the serologist is annalistic if it does not prank and it is not wintry. sent2: that there exists something such that if it does not average thickhead and it pranks then it is glycogenic hold. sent3: the Bushman is a bellows if it is not a kind of a heather and it is not diazo. sent4: there is something such that if it averages thickhead and it does not prank then it is glycogenic. sent5: there is something such that if it is cultural and does not measure motorist it does sprinkle. sent6: something that is not a voider and not an indictment is hairy. sent7: there is something such that if it manifolds and it does not dart pyroelectricity it is a transitive. sent8: if that the Bushman does not average thickhead and does not prank is correct then it is glycogenic. sent9: the Bushman is glycogenic if it does not average thickhead and does prank. sent10: there exists something such that if it is non-syllogistic thing that is not a K then it is a kind of a cardinality. sent11: the Bushman is glycogenic if it does average thickhead and does not prank.
sent8 -> hypothesis;
there exists something such that if it is not a voider and it is not an indictment it is hairless.
sent6 -> int1: if the cocotte is not a voider and it is not an indictment it is hairless.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does not average thickhead and does not prank it is glycogenic. ; $context$ = sent1: the serologist is annalistic if it does not prank and it is not wintry. sent2: that there exists something such that if it does not average thickhead and it pranks then it is glycogenic hold. sent3: the Bushman is a bellows if it is not a kind of a heather and it is not diazo. sent4: there is something such that if it averages thickhead and it does not prank then it is glycogenic. sent5: there is something such that if it is cultural and does not measure motorist it does sprinkle. sent6: something that is not a voider and not an indictment is hairy. sent7: there is something such that if it manifolds and it does not dart pyroelectricity it is a transitive. sent8: if that the Bushman does not average thickhead and does not prank is correct then it is glycogenic. sent9: the Bushman is glycogenic if it does not average thickhead and does prank. sent10: there exists something such that if it is non-syllogistic thing that is not a K then it is a kind of a cardinality. sent11: the Bushman is glycogenic if it does average thickhead and does not prank. ; $proof$ = 
sent8 -> hypothesis; __PROVED__