something is a kind of a Aglaonema but it is not neurogenic.
sent1: that the alpha-blocker either is not a kind of a arete or does toboggan or both does not hold if the protamine does toboggan. sent2: the protamine is a toboggan that accelerates mausoleum. sent3: if the rest is not neurogenic then the blowtorch is a Aglaonema but it is not neurogenic. sent4: the rest is a kind of a purchase but it is not neurogenic if the alpha-blocker is not neurogenic. sent5: if the fact that either something is not a arete or it is a kind of a toboggan or both is false it is not neurogenic.
sent2 -> int1: the fact that the protamine is a toboggan is not false.; int1 & sent1 -> int2: that either the alpha-blocker is not a arete or it is a toboggan or both is not right.; sent5 -> int3: the alpha-blocker is not neurogenic if the fact that it is not a arete and/or it is a kind of a toboggan does not hold.; int2 & int3 -> int4: the alpha-blocker is not neurogenic.; int4 & sent4 -> int5: the rest is a purchase and non-neurogenic.; int5 -> int6: the rest is non-neurogenic.; int6 & sent3 -> int7: the blowtorch is a Aglaonema but it is not neurogenic.; int7 -> hypothesis;
$hypothesis$ = something is a kind of a Aglaonema but it is not neurogenic. ; $context$ = sent1: that the alpha-blocker either is not a kind of a arete or does toboggan or both does not hold if the protamine does toboggan. sent2: the protamine is a toboggan that accelerates mausoleum. sent3: if the rest is not neurogenic then the blowtorch is a Aglaonema but it is not neurogenic. sent4: the rest is a kind of a purchase but it is not neurogenic if the alpha-blocker is not neurogenic. sent5: if the fact that either something is not a arete or it is a kind of a toboggan or both is false it is not neurogenic. ; $proof$ = 
sent2 -> int1: the fact that the protamine is a toboggan is not false.; int1 & sent1 -> int2: that either the alpha-blocker is not a arete or it is a toboggan or both is not right.; sent5 -> int3: the alpha-blocker is not neurogenic if the fact that it is not a arete and/or it is a kind of a toboggan does not hold.; int2 & int3 -> int4: the alpha-blocker is not neurogenic.; int4 & sent4 -> int5: the rest is a purchase and non-neurogenic.; int5 -> int6: the rest is non-neurogenic.; int6 & sent3 -> int7: the blowtorch is a Aglaonema but it is not neurogenic.; int7 -> hypothesis; __PROVED__