the cement is a sofa and a cork.
sent1: if something is not aeromechanics it is not a cork. sent2: that the cement stigmatizes jurisdiction is not wrong if it excises Mongol. sent3: if that the cement is not aeromechanics but it corks is not right it is not rabid. sent4: if the dray stigmatizes jurisdiction and fills then the fact that the Mongol is not a sofa is correct. sent5: there is something such that the fact that it is either a Genseric or non-legislative or both is not incorrect. sent6: if the fact that something is not rabid but aeromechanics is not true then it does not cork. sent7: the Mongol is not a filling. sent8: the sharpener does not cork if it is not aeromechanics. sent9: the cement is a kind of a sofa. sent10: if the sharpener is not a kind of a cork then the cement is a sofa. sent11: if the sharpener is not a filling that the Mongol is not a cork and is aeromechanics is not right. sent12: the dray does not excise Masefield but it is cranial if it is a skit. sent13: if the sharpener is not a cork the cement is both a sofa and a cork. sent14: the cement does excise Mongol and it excises Masefield. sent15: something is a sofa if it corks. sent16: if something does not excise Mongol then that it stigmatizes jurisdiction and it does fill hold. sent17: something does not excise Mongol if it does not excise Masefield. sent18: that something is a martyrdom if it does stigmatize jurisdiction is not incorrect. sent19: something corks if it is a filling.
sent6 -> int1: if that that the sharpener is not rabid and is aeromechanics hold does not hold it is not a kind of a cork.;
that the cement is a sofa and it corks does not hold.
sent16 -> int2: the dray does stigmatize jurisdiction and does fill if it does not excise Mongol.; sent17 -> int3: the dray does not excise Mongol if it does not excise Masefield.;
$hypothesis$ = the cement is a sofa and a cork. ; $context$ = sent1: if something is not aeromechanics it is not a cork. sent2: that the cement stigmatizes jurisdiction is not wrong if it excises Mongol. sent3: if that the cement is not aeromechanics but it corks is not right it is not rabid. sent4: if the dray stigmatizes jurisdiction and fills then the fact that the Mongol is not a sofa is correct. sent5: there is something such that the fact that it is either a Genseric or non-legislative or both is not incorrect. sent6: if the fact that something is not rabid but aeromechanics is not true then it does not cork. sent7: the Mongol is not a filling. sent8: the sharpener does not cork if it is not aeromechanics. sent9: the cement is a kind of a sofa. sent10: if the sharpener is not a kind of a cork then the cement is a sofa. sent11: if the sharpener is not a filling that the Mongol is not a cork and is aeromechanics is not right. sent12: the dray does not excise Masefield but it is cranial if it is a skit. sent13: if the sharpener is not a cork the cement is both a sofa and a cork. sent14: the cement does excise Mongol and it excises Masefield. sent15: something is a sofa if it corks. sent16: if something does not excise Mongol then that it stigmatizes jurisdiction and it does fill hold. sent17: something does not excise Mongol if it does not excise Masefield. sent18: that something is a martyrdom if it does stigmatize jurisdiction is not incorrect. sent19: something corks if it is a filling. ; $proof$ = 
sent6 -> int1: if that that the sharpener is not rabid and is aeromechanics hold does not hold it is not a kind of a cork.; __UNKNOWN__