that the blubberer is concave hold.
sent1: that the gromwell does arouse blubberer and is non-cardiopulmonary is false if there exists something such that it is sugarless. sent2: there exists something such that the fact that it is a remote is right. sent3: there exists something such that it is sugarless. sent4: that the blubberer is concave hold if there exists something such that it does not arouse blubberer.
sent3 & sent1 -> int1: the fact that the gromwell arouses blubberer but it is not cardiopulmonary does not hold.; int1 -> int2: there is something such that that it arouses blubberer and it is non-cardiopulmonary is not right.;
$hypothesis$ = that the blubberer is concave hold. ; $context$ = sent1: that the gromwell does arouse blubberer and is non-cardiopulmonary is false if there exists something such that it is sugarless. sent2: there exists something such that the fact that it is a remote is right. sent3: there exists something such that it is sugarless. sent4: that the blubberer is concave hold if there exists something such that it does not arouse blubberer. ; $proof$ = 
sent3 & sent1 -> int1: the fact that the gromwell arouses blubberer but it is not cardiopulmonary does not hold.; int1 -> int2: there is something such that that it arouses blubberer and it is non-cardiopulmonary is not right.; __UNKNOWN__