the critic is not unsurmountable.
sent1: that the critic arrives conformity and curbs goatsucker is incorrect if something is a kind of a Hedysarum. sent2: something is not unsurmountable if it is not a tons. sent3: something is not a Burnside if the fact that the fact that it arrives isotherm and does inhale hold is not right. sent4: the critic is not a varicocele. sent5: if there is something such that it does arrive conformity then that the critic is a Calvary that is a tons is incorrect. sent6: if that something is ecdemic and it disciplines does not hold then it is not barytic. sent7: the fact that the tribologist is right and a calypso is not true. sent8: the squeezer is a tons and a Swedish if it is not formic. sent9: something is a Uzi. sent10: that there exists something such that it is tartaric is not wrong. sent11: the critic is not a bitterwood if that it curbs tucker and it arrives conformity is not correct. sent12: if the critic is not a kind of a tons it is not unsurmountable. sent13: if that something interposes psephology and it is not non-odorous is not right then it is not a bitterwood. sent14: there exists something such that it is cross-sentential. sent15: the SOB is not unsurmountable if the fact that it is a clot that is bimetallistic is wrong. sent16: the fact that the critic does curb lust and it arrives conformity is false if there is something such that it is baric. sent17: that the rival is a Calvary and it curbs goatsucker is not true if there exists something such that it is a unlawfulness. sent18: there is something such that it arrives conformity. sent19: the critic is not a kind of a Calvary if the fact that it is collarless and it is a Spartan does not hold.
sent18 & sent5 -> int1: the fact that the critic is a kind of a Calvary and is a tons does not hold.;
the fact that the critic is not unsurmountable is incorrect.
$hypothesis$ = the critic is not unsurmountable. ; $context$ = sent1: that the critic arrives conformity and curbs goatsucker is incorrect if something is a kind of a Hedysarum. sent2: something is not unsurmountable if it is not a tons. sent3: something is not a Burnside if the fact that the fact that it arrives isotherm and does inhale hold is not right. sent4: the critic is not a varicocele. sent5: if there is something such that it does arrive conformity then that the critic is a Calvary that is a tons is incorrect. sent6: if that something is ecdemic and it disciplines does not hold then it is not barytic. sent7: the fact that the tribologist is right and a calypso is not true. sent8: the squeezer is a tons and a Swedish if it is not formic. sent9: something is a Uzi. sent10: that there exists something such that it is tartaric is not wrong. sent11: the critic is not a bitterwood if that it curbs tucker and it arrives conformity is not correct. sent12: if the critic is not a kind of a tons it is not unsurmountable. sent13: if that something interposes psephology and it is not non-odorous is not right then it is not a bitterwood. sent14: there exists something such that it is cross-sentential. sent15: the SOB is not unsurmountable if the fact that it is a clot that is bimetallistic is wrong. sent16: the fact that the critic does curb lust and it arrives conformity is false if there is something such that it is baric. sent17: that the rival is a Calvary and it curbs goatsucker is not true if there exists something such that it is a unlawfulness. sent18: there is something such that it arrives conformity. sent19: the critic is not a kind of a Calvary if the fact that it is collarless and it is a Spartan does not hold. ; $proof$ = 
sent18 & sent5 -> int1: the fact that the critic is a kind of a Calvary and is a tons does not hold.; __UNKNOWN__