the Sazerac is evitable.
sent1: the shrike is a base and/or it is not a Haredi. sent2: if something is not a base and it is not a kind of a Haredi then the measure is not auricular. sent3: the measure is dyadic if the divan fears indiscipline. sent4: that something does not efface but it does fear indiscipline is false if it does not conventionalize gymnasium. sent5: that the sloth is not dyadic is not incorrect if there is something such that the fact that it does fear indiscipline and is dyadic does not hold. sent6: the tenon is not a Brownie if it is branchiate. sent7: there exists something such that it is not a kind of a bond. sent8: if the fact that the Sazerac is dyadic hold it is not inevitable. sent9: the measure is dyadic if the divan is auricular. sent10: the highroad does not efface and does not fear indiscipline. sent11: the tenon is a hopscotch. sent12: the tenon is branchiate if the highroad does conventionalize gymnasium. sent13: if that the tenon is not evitable and does not efface does not hold then the Sazerac is not evitable. sent14: the divan does fear indiscipline and/or it is auricular. sent15: if the highroad is not a kind of a hopscotch it conventionalizes gymnasium. sent16: the NOC is not a hopscotch if the tenon does not efface but it is a hopscotch. sent17: the cryptomonad does not fear supervisor and is not a Senegalese. sent18: the highroad does conventionalize gymnasium if that it does not fear supervisor and it is a hopscotch is not true. sent19: if the fact that the sloth conventionalizes gymnasium and is not branchiate is false the Sazerac does not conventionalizes gymnasium. sent20: if something that is dyadic is evitable it is not a Brownie. sent21: if something is not dyadic then that it is a Brownie that is branchiate is not correct. sent22: something does not conventionalize gymnasium if the fact that it is a Brownie and branchiate does not hold. sent23: the highroad does not fear indiscipline. sent24: if something is not auricular the fact that it fears indiscipline and is dyadic is not correct. sent25: the divan is not a base and is not a Haredi if there exists something such that that it is not a bond is not incorrect. sent26: that something does not fear supervisor but it is a hopscotch is wrong if it does not efface.
sent26 -> int1: the fact that if the highroad does not efface the fact that the highroad does not fear supervisor and is a hopscotch is wrong hold.; sent10 -> int2: the highroad does not efface.; int1 & int2 -> int3: that the highroad does not fear supervisor and is a kind of a hopscotch is incorrect.; int3 & sent18 -> int4: the highroad does conventionalize gymnasium.; int4 & sent12 -> int5: the tenon is branchiate.; int5 & sent6 -> int6: the tenon is not a kind of a Brownie.;
the Sazerac is not evitable.
sent22 -> int7: the sloth does not conventionalize gymnasium if the fact that it is a Brownie that is branchiate is false.; sent21 -> int8: if the sloth is non-dyadic the fact that it is a Brownie that is branchiate is incorrect.; sent24 -> int9: the fact that the measure fears indiscipline and it is dyadic does not hold if it is not auricular.; sent7 & sent25 -> int10: the divan is not a kind of a base and it is not a Haredi.; int10 -> int11: there is something such that it does not base and is not a Haredi.; int11 & sent2 -> int12: the measure is not auricular.; int9 & int12 -> int13: that the measure fears indiscipline and is dyadic does not hold.; int13 -> int14: there exists something such that that it fears indiscipline and is dyadic does not hold.; int14 & sent5 -> int15: the sloth is non-dyadic.; int8 & int15 -> int16: that the sloth is both a Brownie and branchiate does not hold.; int7 & int16 -> int17: the sloth does not conventionalize gymnasium.; int17 -> int18: something does not conventionalize gymnasium.;
$hypothesis$ = the Sazerac is evitable. ; $context$ = sent1: the shrike is a base and/or it is not a Haredi. sent2: if something is not a base and it is not a kind of a Haredi then the measure is not auricular. sent3: the measure is dyadic if the divan fears indiscipline. sent4: that something does not efface but it does fear indiscipline is false if it does not conventionalize gymnasium. sent5: that the sloth is not dyadic is not incorrect if there is something such that the fact that it does fear indiscipline and is dyadic does not hold. sent6: the tenon is not a Brownie if it is branchiate. sent7: there exists something such that it is not a kind of a bond. sent8: if the fact that the Sazerac is dyadic hold it is not inevitable. sent9: the measure is dyadic if the divan is auricular. sent10: the highroad does not efface and does not fear indiscipline. sent11: the tenon is a hopscotch. sent12: the tenon is branchiate if the highroad does conventionalize gymnasium. sent13: if that the tenon is not evitable and does not efface does not hold then the Sazerac is not evitable. sent14: the divan does fear indiscipline and/or it is auricular. sent15: if the highroad is not a kind of a hopscotch it conventionalizes gymnasium. sent16: the NOC is not a hopscotch if the tenon does not efface but it is a hopscotch. sent17: the cryptomonad does not fear supervisor and is not a Senegalese. sent18: the highroad does conventionalize gymnasium if that it does not fear supervisor and it is a hopscotch is not true. sent19: if the fact that the sloth conventionalizes gymnasium and is not branchiate is false the Sazerac does not conventionalizes gymnasium. sent20: if something that is dyadic is evitable it is not a Brownie. sent21: if something is not dyadic then that it is a Brownie that is branchiate is not correct. sent22: something does not conventionalize gymnasium if the fact that it is a Brownie and branchiate does not hold. sent23: the highroad does not fear indiscipline. sent24: if something is not auricular the fact that it fears indiscipline and is dyadic is not correct. sent25: the divan is not a base and is not a Haredi if there exists something such that that it is not a bond is not incorrect. sent26: that something does not fear supervisor but it is a hopscotch is wrong if it does not efface. ; $proof$ = 
sent26 -> int1: the fact that if the highroad does not efface the fact that the highroad does not fear supervisor and is a hopscotch is wrong hold.; sent10 -> int2: the highroad does not efface.; int1 & int2 -> int3: that the highroad does not fear supervisor and is a kind of a hopscotch is incorrect.; int3 & sent18 -> int4: the highroad does conventionalize gymnasium.; int4 & sent12 -> int5: the tenon is branchiate.; int5 & sent6 -> int6: the tenon is not a kind of a Brownie.; __UNKNOWN__