the fact that there exists something such that if it does right cryobiology the fact that it is not an exhaustion and snuffs nerveroot does not hold is wrong.
sent1: if something rights cryobiology then the fact that it is an exhaustion and it does snuff nerveroot is not right. sent2: that something is not a kind of an exhaustion but it snuffs nerveroot does not hold if it does right cryobiology. sent3: the macintosh is not an exhaustion but it does snuff nerveroot if it does right cryobiology.
sent2 -> int1: if the fact that the macintosh does right cryobiology is not false then that it is not an exhaustion and snuffs nerveroot is incorrect.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does right cryobiology the fact that it is not an exhaustion and snuffs nerveroot does not hold is wrong. ; $context$ = sent1: if something rights cryobiology then the fact that it is an exhaustion and it does snuff nerveroot is not right. sent2: that something is not a kind of an exhaustion but it snuffs nerveroot does not hold if it does right cryobiology. sent3: the macintosh is not an exhaustion but it does snuff nerveroot if it does right cryobiology. ; $proof$ = 
sent2 -> int1: if the fact that the macintosh does right cryobiology is not false then that it is not an exhaustion and snuffs nerveroot is incorrect.; int1 -> hypothesis; __DISPROVED__