the slicer is not a kind of a Heshvan.
sent1: something swipes but it does not deflower mackintosh if it is not a pant. sent2: The mackintosh does deflower pass. sent3: the deterioration does not deflower mackintosh. sent4: if something jackets Bathsheba then it does not deflower mackintosh and it pants. sent5: if the fact that something does gain but it does not ignore Karnataka does not hold then it is an esplanade. sent6: if something that is a swipe deflowers mackintosh then that the deterioration is not a pant is correct. sent7: there exists something such that it deflowers mackintosh. sent8: the pass is nonsectarian. sent9: the boulle is both unpermissive and off-site. sent10: the pass is not a pant but it does jacket Bathsheba if the deterioration is a mutant. sent11: if the deterioration is not a kind of a pant then the fact that the mooring is a mutant and it does jacket Bathsheba is wrong. sent12: the slicer is not a Heshvan if that the mooring is a mutant and it does jacket Bathsheba is not correct. sent13: the slicer is not a swipe if there is something such that it does jacket Bathsheba and it is a Heshvan. sent14: that the mooring is a mutant and it is a swipe is not right. sent15: the slicer does not jacket Bathsheba. sent16: the pass is not a kind of a swipe if there is something such that it deflowers mackintosh and is a Heshvan. sent17: if the fact that the mooring is an esplanade hold then the deterioration is a mutant. sent18: if the fact that the mooring does not deflower mackintosh is right the pass is not mutant. sent19: if something deflowers mackintosh and it swipes then the pass is non-mutant. sent20: the pass does deflower mackintosh. sent21: there is something such that it is a swipe.
the slicer is a Heshvan.
sent1 -> int1: the pass is a swipe that does not deflower mackintosh if it does not pant.; sent5 -> int2: if that the mooring is a gain that does not ignore Karnataka is incorrect it is an esplanade.;
$hypothesis$ = the slicer is not a kind of a Heshvan. ; $context$ = sent1: something swipes but it does not deflower mackintosh if it is not a pant. sent2: The mackintosh does deflower pass. sent3: the deterioration does not deflower mackintosh. sent4: if something jackets Bathsheba then it does not deflower mackintosh and it pants. sent5: if the fact that something does gain but it does not ignore Karnataka does not hold then it is an esplanade. sent6: if something that is a swipe deflowers mackintosh then that the deterioration is not a pant is correct. sent7: there exists something such that it deflowers mackintosh. sent8: the pass is nonsectarian. sent9: the boulle is both unpermissive and off-site. sent10: the pass is not a pant but it does jacket Bathsheba if the deterioration is a mutant. sent11: if the deterioration is not a kind of a pant then the fact that the mooring is a mutant and it does jacket Bathsheba is wrong. sent12: the slicer is not a Heshvan if that the mooring is a mutant and it does jacket Bathsheba is not correct. sent13: the slicer is not a swipe if there is something such that it does jacket Bathsheba and it is a Heshvan. sent14: that the mooring is a mutant and it is a swipe is not right. sent15: the slicer does not jacket Bathsheba. sent16: the pass is not a kind of a swipe if there is something such that it deflowers mackintosh and is a Heshvan. sent17: if the fact that the mooring is an esplanade hold then the deterioration is a mutant. sent18: if the fact that the mooring does not deflower mackintosh is right the pass is not mutant. sent19: if something deflowers mackintosh and it swipes then the pass is non-mutant. sent20: the pass does deflower mackintosh. sent21: there is something such that it is a swipe. ; $proof$ = 
__UNKNOWN__