if the Irishman is not a putamen then the Coricidin does not count nephelinite.
sent1: if the Irishman is a Styron the nephelinite stumbles Melopsittacus but it is not a Styron. sent2: if the Irishman does stumble Melopsittacus then the nephelinite is a Styron and does not stumble Melopsittacus. sent3: the Irishman does not count nephelinite if the Coricidin stumbles Melopsittacus but it does not rejuvenate. sent4: if something does not rejuvenate and is not a putamen it does stumble Melopsittacus. sent5: the fact that the nephelinite is not a kind of a hydrolith and is not a stocks hold. sent6: the fact that if that the Irishman does rejuvenate and is not a Styron is not false the nephelinite stumbles Melopsittacus is right. sent7: if the nephelinite is a Styron but it does not rejuvenate the Irishman does not count nephelinite. sent8: the whippersnapper is not a dobson and is not a Styron. sent9: the nephelinite is a putamen if the Irishman is not a Styron. sent10: the Irishman does not rejuvenate. sent11: the rotifer does not logroll and it is not a superbug. sent12: the nephelinite does not rejuvenate. sent13: the Coricidin does not count nephelinite if the nephelinite is a kind of a Styron that does not stumble Melopsittacus.
void -> assump1: Let's assume that the Irishman is not a putamen.; sent10 & assump1 -> int1: the Irishman does not rejuvenate and it is not a kind of a putamen.; sent4 -> int2: the Irishman stumbles Melopsittacus if it does not rejuvenate and it is not a kind of a putamen.; int1 & int2 -> int3: the Irishman stumbles Melopsittacus.; int3 & sent2 -> int4: the nephelinite is a Styron that does not stumble Melopsittacus.; int4 & sent13 -> int5: the Coricidin does not count nephelinite.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the Irishman is not a putamen then the Coricidin does not count nephelinite. ; $context$ = sent1: if the Irishman is a Styron the nephelinite stumbles Melopsittacus but it is not a Styron. sent2: if the Irishman does stumble Melopsittacus then the nephelinite is a Styron and does not stumble Melopsittacus. sent3: the Irishman does not count nephelinite if the Coricidin stumbles Melopsittacus but it does not rejuvenate. sent4: if something does not rejuvenate and is not a putamen it does stumble Melopsittacus. sent5: the fact that the nephelinite is not a kind of a hydrolith and is not a stocks hold. sent6: the fact that if that the Irishman does rejuvenate and is not a Styron is not false the nephelinite stumbles Melopsittacus is right. sent7: if the nephelinite is a Styron but it does not rejuvenate the Irishman does not count nephelinite. sent8: the whippersnapper is not a dobson and is not a Styron. sent9: the nephelinite is a putamen if the Irishman is not a Styron. sent10: the Irishman does not rejuvenate. sent11: the rotifer does not logroll and it is not a superbug. sent12: the nephelinite does not rejuvenate. sent13: the Coricidin does not count nephelinite if the nephelinite is a kind of a Styron that does not stumble Melopsittacus. ; $proof$ = 
void -> assump1: Let's assume that the Irishman is not a putamen.; sent10 & assump1 -> int1: the Irishman does not rejuvenate and it is not a kind of a putamen.; sent4 -> int2: the Irishman stumbles Melopsittacus if it does not rejuvenate and it is not a kind of a putamen.; int1 & int2 -> int3: the Irishman stumbles Melopsittacus.; int3 & sent2 -> int4: the nephelinite is a Styron that does not stumble Melopsittacus.; int4 & sent13 -> int5: the Coricidin does not count nephelinite.; [assump1] & int5 -> hypothesis; __PROVED__