that the nature is not non-pericardial is true.
sent1: the quick does nominate if the schlemiel ices baiting. sent2: the earthquake does ice Sha'ban. sent3: the fact that the quick nominates and does not ice Sha'ban is incorrect. sent4: if there is something such that it does not ice baiting and is not pericardial then the earthquake enslaves ceilidh. sent5: the fact that the scarab does not nominate and it is not a Farmington is wrong. sent6: there exists something such that it is a Farmington and it is not opisthognathous. sent7: the fact that the nature is pericardial is not wrong if the wonton does ice Sha'ban. sent8: the scarab is not a Farmington if that the earthquake does not nominate and it does not enslave ceilidh is incorrect. sent9: that the wonton ices Sha'ban and does not nominate is not right. sent10: the schlemiel ices baiting if there exists something such that it is not traceable. sent11: there is something such that it is traceable. sent12: something is not traceable. sent13: if the quick nominates the fact that the earthquake does not nominates and does not enslave ceilidh is wrong. sent14: there exists something such that it is not a Carter. sent15: the wonton does ice Sha'ban if something that is not a Farmington is not opisthognathous. sent16: the gonococcus is not a kind of a Farmington and it is not opisthognathous if the scarab is not a kind of a Farmington. sent17: the fact that the earthquake is a Farmington is not wrong if something does not nominate and does not ice Sha'ban.
sent12 & sent10 -> int1: the schlemiel does ice baiting.; sent1 & int1 -> int2: the fact that the quick does nominate is correct.; sent13 & int2 -> int3: that the earthquake does not nominate and does not enslave ceilidh is incorrect.; sent8 & int3 -> int4: the fact that the scarab is not a Farmington is true.; sent16 & int4 -> int5: the gonococcus is not a Farmington and is not opisthognathous.; int5 -> int6: there is something such that it is not a Farmington and it is not opisthognathous.; int6 & sent15 -> int7: the wonton ices Sha'ban.; sent7 & int7 -> hypothesis;
$hypothesis$ = that the nature is not non-pericardial is true. ; $context$ = sent1: the quick does nominate if the schlemiel ices baiting. sent2: the earthquake does ice Sha'ban. sent3: the fact that the quick nominates and does not ice Sha'ban is incorrect. sent4: if there is something such that it does not ice baiting and is not pericardial then the earthquake enslaves ceilidh. sent5: the fact that the scarab does not nominate and it is not a Farmington is wrong. sent6: there exists something such that it is a Farmington and it is not opisthognathous. sent7: the fact that the nature is pericardial is not wrong if the wonton does ice Sha'ban. sent8: the scarab is not a Farmington if that the earthquake does not nominate and it does not enslave ceilidh is incorrect. sent9: that the wonton ices Sha'ban and does not nominate is not right. sent10: the schlemiel ices baiting if there exists something such that it is not traceable. sent11: there is something such that it is traceable. sent12: something is not traceable. sent13: if the quick nominates the fact that the earthquake does not nominates and does not enslave ceilidh is wrong. sent14: there exists something such that it is not a Carter. sent15: the wonton does ice Sha'ban if something that is not a Farmington is not opisthognathous. sent16: the gonococcus is not a kind of a Farmington and it is not opisthognathous if the scarab is not a kind of a Farmington. sent17: the fact that the earthquake is a Farmington is not wrong if something does not nominate and does not ice Sha'ban. ; $proof$ = 
sent12 & sent10 -> int1: the schlemiel does ice baiting.; sent1 & int1 -> int2: the fact that the quick does nominate is correct.; sent13 & int2 -> int3: that the earthquake does not nominate and does not enslave ceilidh is incorrect.; sent8 & int3 -> int4: the fact that the scarab is not a Farmington is true.; sent16 & int4 -> int5: the gonococcus is not a Farmington and is not opisthognathous.; int5 -> int6: there is something such that it is not a Farmington and it is not opisthognathous.; int6 & sent15 -> int7: the wonton ices Sha'ban.; sent7 & int7 -> hypothesis; __PROVED__