the middle is not pneumogastric.
sent1: the herbalist is not .38-caliber. sent2: if something is a variation then the urobilin is not incredulous and not .38-caliber. sent3: the fact that the middle is pneumogastric is true if the fact that the urobilin is not a variation but pneumogastric is not right. sent4: there exists something such that that it is a kind of a variation hold.
sent4 & sent2 -> int1: the urobilin is not incredulous and it is not .38-caliber.;
the middle is pneumogastric.
$hypothesis$ = the middle is not pneumogastric. ; $context$ = sent1: the herbalist is not .38-caliber. sent2: if something is a variation then the urobilin is not incredulous and not .38-caliber. sent3: the fact that the middle is pneumogastric is true if the fact that the urobilin is not a variation but pneumogastric is not right. sent4: there exists something such that that it is a kind of a variation hold. ; $proof$ = 
sent4 & sent2 -> int1: the urobilin is not incredulous and it is not .38-caliber.; __UNKNOWN__