the newsagent is a mattress.
sent1: The sedulity excretes inpatient. sent2: if the half-caste does not excrete sedulity the inpatient is not tertian and/or it is not a mattress. sent3: the Humvee is a superposition. sent4: if the half-caste samples clipping then the newsagent excretes silenced. sent5: the newsagent is anthracitic and it samples Chondrus. sent6: something is a superscription. sent7: the inpatient is tertian if it excretes sedulity. sent8: if a superposition excretes sedulity then the half-caste does sample clipping. sent9: something is not tertian if it is not a kind of a superscription and does sample clipping. sent10: that the half-caste is anthracitic and does not excrete silenced hold. sent11: the newsagent is tertian. sent12: that the half-caste samples clipping is not incorrect if the inpatient is tertian. sent13: the half-caste samples ideologist. sent14: the inpatient is not a superscription but it does sample clipping if the half-caste is a mattress. sent15: something is a mattress if the fact that it is a Ganymede is not false. sent16: the newsagent is a Ganymede if there exists something such that it is a superscription and it samples clipping. sent17: the inpatient excretes sedulity. sent18: if something is not a kind of a superscription and/or it does sample clipping then it does not excrete sedulity. sent19: if that the newsagent does not excrete suicide and does not excrete silenced is not correct the half-caste does not excrete silenced. sent20: something is a kind of a superscription if it is a superposition. sent21: the fact that the newsagent does not excrete suicide and does not excrete silenced does not hold.
sent7 & sent17 -> int1: the inpatient is tertian.; int1 & sent12 -> int2: the half-caste does sample clipping.; sent20 -> int3: the half-caste is a superscription if it is a superposition.; sent15 -> int4: the newsagent is a kind of a mattress if it is a Ganymede.;
the newsagent is not a mattress.
sent18 -> int5: the half-caste does not excrete sedulity if either it is not a superscription or it does sample clipping or both.;
$hypothesis$ = the newsagent is a mattress. ; $context$ = sent1: The sedulity excretes inpatient. sent2: if the half-caste does not excrete sedulity the inpatient is not tertian and/or it is not a mattress. sent3: the Humvee is a superposition. sent4: if the half-caste samples clipping then the newsagent excretes silenced. sent5: the newsagent is anthracitic and it samples Chondrus. sent6: something is a superscription. sent7: the inpatient is tertian if it excretes sedulity. sent8: if a superposition excretes sedulity then the half-caste does sample clipping. sent9: something is not tertian if it is not a kind of a superscription and does sample clipping. sent10: that the half-caste is anthracitic and does not excrete silenced hold. sent11: the newsagent is tertian. sent12: that the half-caste samples clipping is not incorrect if the inpatient is tertian. sent13: the half-caste samples ideologist. sent14: the inpatient is not a superscription but it does sample clipping if the half-caste is a mattress. sent15: something is a mattress if the fact that it is a Ganymede is not false. sent16: the newsagent is a Ganymede if there exists something such that it is a superscription and it samples clipping. sent17: the inpatient excretes sedulity. sent18: if something is not a kind of a superscription and/or it does sample clipping then it does not excrete sedulity. sent19: if that the newsagent does not excrete suicide and does not excrete silenced is not correct the half-caste does not excrete silenced. sent20: something is a kind of a superscription if it is a superposition. sent21: the fact that the newsagent does not excrete suicide and does not excrete silenced does not hold. ; $proof$ = 
sent7 & sent17 -> int1: the inpatient is tertian.; int1 & sent12 -> int2: the half-caste does sample clipping.; sent20 -> int3: the half-caste is a superscription if it is a superposition.; sent15 -> int4: the newsagent is a kind of a mattress if it is a Ganymede.; __UNKNOWN__