the booklouse does radicalize.
sent1: the fact that the ring is excusable if the afterglow exceeds pasteurization hold. sent2: the booklouse is a kind of a myringotomy. sent3: that the pinprick exceeds Dryden but it is not boustrophedonic is incorrect if it is not motional. sent4: the fact that something is not familial but it is a sport is false if it is excusable. sent5: the fact that the booklouse is not a crupper hold. sent6: the model is a kind of a crupper if that the ring is a kind of a crupper that is not a Dagon does not hold. sent7: if something does not turf it is azimuthal but not a Dagon. sent8: the russet is a crupper. sent9: if that something is not familial but it sports is false it is not a kind of a turf. sent10: a non-boustrophedonic thing exceeds pasteurization and/or exceeds Seriphidium. sent11: if the wick is not a kind of a sport the pinprick is a kind of a turf that is not a Dagon. sent12: if that the pinprick exceeds Dryden but it is not boustrophedonic is not true then the fact that the afterglow is not boustrophedonic is right. sent13: something does radicalize if it is not a crupper and it is a kind of a myringotomy. sent14: the pinprick is not motional.
sent13 -> int1: if the booklouse is not a crupper but it is a myringotomy then that it radicalizes is not incorrect.; sent5 & sent2 -> int2: the booklouse is not a crupper and is a myringotomy.; int1 & int2 -> hypothesis;
the racket radicalizes.
$hypothesis$ = the booklouse does radicalize. ; $context$ = sent1: the fact that the ring is excusable if the afterglow exceeds pasteurization hold. sent2: the booklouse is a kind of a myringotomy. sent3: that the pinprick exceeds Dryden but it is not boustrophedonic is incorrect if it is not motional. sent4: the fact that something is not familial but it is a sport is false if it is excusable. sent5: the fact that the booklouse is not a crupper hold. sent6: the model is a kind of a crupper if that the ring is a kind of a crupper that is not a Dagon does not hold. sent7: if something does not turf it is azimuthal but not a Dagon. sent8: the russet is a crupper. sent9: if that something is not familial but it sports is false it is not a kind of a turf. sent10: a non-boustrophedonic thing exceeds pasteurization and/or exceeds Seriphidium. sent11: if the wick is not a kind of a sport the pinprick is a kind of a turf that is not a Dagon. sent12: if that the pinprick exceeds Dryden but it is not boustrophedonic is not true then the fact that the afterglow is not boustrophedonic is right. sent13: something does radicalize if it is not a crupper and it is a kind of a myringotomy. sent14: the pinprick is not motional. ; $proof$ = 
sent13 -> int1: if the booklouse is not a crupper but it is a myringotomy then that it radicalizes is not incorrect.; sent5 & sent2 -> int2: the booklouse is not a crupper and is a myringotomy.; int1 & int2 -> hypothesis; __PROVED__