there is something such that if it is not inscriptive and does not heal toupeed then it does not heal corundom.
sent1: the growth does not heal corundom if it is a kind of non-inscriptive thing that heals toupeed. sent2: if something is not inscriptive and it does not heal toupeed then it does not heal corundom. sent3: something that does not dilate methadone and is not inscriptive does not thrust scribble.
sent2 -> int1: if the growth is not inscriptive and does not heal toupeed then the fact that it heals corundom is wrong.; int1 -> hypothesis;
the yanquapin does not thrust scribble if it does not dilate methadone and it is not inscriptive.
sent3 -> hypothesis;
$hypothesis$ = there is something such that if it is not inscriptive and does not heal toupeed then it does not heal corundom. ; $context$ = sent1: the growth does not heal corundom if it is a kind of non-inscriptive thing that heals toupeed. sent2: if something is not inscriptive and it does not heal toupeed then it does not heal corundom. sent3: something that does not dilate methadone and is not inscriptive does not thrust scribble. ; $proof$ = 
sent2 -> int1: if the growth is not inscriptive and does not heal toupeed then the fact that it heals corundom is wrong.; int1 -> hypothesis; __PROVED__