the hypotonicity is a Rand.
sent1: if the silage is a kind of a thermograph the hypotonicity is a Rand. sent2: that something does subside discipline or it is not a kedgeree or both is not right if it is antiadrenergic. sent3: the silage subsides discipline if it is a kedgeree. sent4: there is something such that the fact that it does subside psychotherapist and it is a kind of an obligation is incorrect. sent5: if the silage is not a kind of a kedgeree but it is a neurasthenic then it is a thermograph. sent6: if there is something such that it is antiadrenergic the clinician is not a kind of a hornpipe. sent7: the hypotonicity is a hornpipe. sent8: the underperformer is not antiadrenergic. sent9: the silage is a neurasthenic if there is something such that that it does not subside psychotherapist and is a kind of an obligation does not hold. sent10: the fact that the hypotonicity guards tabulation hold. sent11: the hypotonicity is a kedgeree. sent12: the silage is a kind of a neurasthenic if there is something such that it is not an obligation. sent13: something does not subside psychotherapist but it is a kind of an obligation. sent14: the hypotonicity is a thermograph. sent15: there is something such that the fact that it is non-neurasthenic and it is a kedgeree does not hold. sent16: if something subsides discipline or is antiadrenergic or both that the clinician is not a hornpipe is correct. sent17: the clinician is a hornpipe. sent18: either the silage is a Rand or it is a thermograph or both.
void -> assump1: Let's assume that the silage is a kedgeree.; sent3 & assump1 -> int1: the silage subsides discipline.; int1 -> int2: the silage does subside discipline or is antiadrenergic or both.; int2 -> int3: there is something such that it subsides discipline or is antiadrenergic or both.; int3 & sent16 -> int4: the clinician is not a hornpipe.; int4 & sent17 -> int5: this is contradiction.; [assump1] & int5 -> int6: the silage is not a kedgeree.;
the hypotonicity is not a Rand.
sent2 -> int7: the fact that the silage either subsides discipline or is not a kind of a kedgeree or both is wrong if it is antiadrenergic.;
$hypothesis$ = the hypotonicity is a Rand. ; $context$ = sent1: if the silage is a kind of a thermograph the hypotonicity is a Rand. sent2: that something does subside discipline or it is not a kedgeree or both is not right if it is antiadrenergic. sent3: the silage subsides discipline if it is a kedgeree. sent4: there is something such that the fact that it does subside psychotherapist and it is a kind of an obligation is incorrect. sent5: if the silage is not a kind of a kedgeree but it is a neurasthenic then it is a thermograph. sent6: if there is something such that it is antiadrenergic the clinician is not a kind of a hornpipe. sent7: the hypotonicity is a hornpipe. sent8: the underperformer is not antiadrenergic. sent9: the silage is a neurasthenic if there is something such that that it does not subside psychotherapist and is a kind of an obligation does not hold. sent10: the fact that the hypotonicity guards tabulation hold. sent11: the hypotonicity is a kedgeree. sent12: the silage is a kind of a neurasthenic if there is something such that it is not an obligation. sent13: something does not subside psychotherapist but it is a kind of an obligation. sent14: the hypotonicity is a thermograph. sent15: there is something such that the fact that it is non-neurasthenic and it is a kedgeree does not hold. sent16: if something subsides discipline or is antiadrenergic or both that the clinician is not a hornpipe is correct. sent17: the clinician is a hornpipe. sent18: either the silage is a Rand or it is a thermograph or both. ; $proof$ = 
void -> assump1: Let's assume that the silage is a kedgeree.; sent3 & assump1 -> int1: the silage subsides discipline.; int1 -> int2: the silage does subside discipline or is antiadrenergic or both.; int2 -> int3: there is something such that it subsides discipline or is antiadrenergic or both.; int3 & sent16 -> int4: the clinician is not a hornpipe.; int4 & sent17 -> int5: this is contradiction.; [assump1] & int5 -> int6: the silage is not a kedgeree.; __UNKNOWN__