the sport succumbs.
sent1: the rig is not a atonality if it does not dim Amblyrhynchus. sent2: that something is an astrologer and it is adjectival is correct if it is not a kind of a cairned. sent3: if the sport is not a revisionist but it is not non-noncaloric the fact that it does not succumb hold. sent4: if the rig is noncaloric the cleavers is not noncaloric. sent5: the sport is not a atonality if the withholder is a atonality and it does succumb. sent6: the withholder does not veil Friedman if something is not a kind of a tailored and does dim tuff. sent7: if something does not veil Friedman it is not a revisionist but non-complex. sent8: the rig is not a kind of a revisionist if either it is not a complex or it is not a revisionist or both. sent9: the grabber is not a kind of a cairned if that it dims aplomb and is a cognizance is not correct. sent10: if the rig dims bluntness it is a kind of a refrain. sent11: if something is a refrain it dims bluntness. sent12: the sport is non-noncaloric. sent13: the Hull is not a tailored but it dims tuff if the grabber is not non-adjectival. sent14: the rig does dim bluntness. sent15: there is something such that it is a kind of a atonality. sent16: the fact that the wish-wash is a logician and it is a Eureka is not true. sent17: the sport does not succumb if it is both not a revisionist and non-noncaloric. sent18: the wish-wash is not a Eureka if that it is a kind of a logician that is a Eureka is not true. sent19: The bluntness does dim rig. sent20: if the rig does refrain it does not dim Amblyrhynchus. sent21: the fact that that the rig is noncaloric but it is not a atonality hold is false if it is not a revisionist. sent22: if there is something such that it is not a atonality the sport is not a revisionist and it is not noncaloric. sent23: the sport does dim Amblyrhynchus if the rig does dim Amblyrhynchus. sent24: if the wish-wash is not a kind of a Eureka then the fact that the grabber dims aplomb and it is a cognizance is not right. sent25: the fact that something succumbs is not wrong if it does not dim bluntness and is not a refrain. sent26: if the sport is a kind of a revisionist it does not dim bluntness. sent27: if the sport does dim bluntness then the fact that the rig is noncaloric is not incorrect.
sent10 & sent14 -> int1: the rig refrains.; int1 & sent20 -> int2: the rig does not dim Amblyrhynchus.; int2 & sent1 -> int3: the rig is not a atonality.; int3 -> int4: there exists something such that it is not a kind of a atonality.; int4 & sent22 -> int5: the sport is both not a revisionist and not noncaloric.; int5 & sent17 -> hypothesis;
the cleavers is not noncaloric.
sent11 -> int6: the sport dims bluntness if it does refrain.; sent7 -> int7: the withholder is both not a revisionist and not a complex if it does not veil Friedman.; sent2 -> int8: if the grabber is not a cairned then it is an astrologer and not non-adjectival.; sent18 & sent16 -> int9: the wish-wash is not a Eureka.; sent24 & int9 -> int10: the fact that the grabber dims aplomb and is a kind of a cognizance does not hold.; sent9 & int10 -> int11: the grabber is not a cairned.; int8 & int11 -> int12: the grabber is an astrologer and it is adjectival.; int12 -> int13: the grabber is adjectival.; sent13 & int13 -> int14: the Hull does not tailor and does dim tuff.; int14 -> int15: there exists something such that it is not a kind of a tailored and dims tuff.; int15 & sent6 -> int16: the withholder does not veil Friedman.; int7 & int16 -> int17: the withholder is not a revisionist and it is not a complex.; int17 -> int18: the withholder is not a revisionist.;
$hypothesis$ = the sport succumbs. ; $context$ = sent1: the rig is not a atonality if it does not dim Amblyrhynchus. sent2: that something is an astrologer and it is adjectival is correct if it is not a kind of a cairned. sent3: if the sport is not a revisionist but it is not non-noncaloric the fact that it does not succumb hold. sent4: if the rig is noncaloric the cleavers is not noncaloric. sent5: the sport is not a atonality if the withholder is a atonality and it does succumb. sent6: the withholder does not veil Friedman if something is not a kind of a tailored and does dim tuff. sent7: if something does not veil Friedman it is not a revisionist but non-complex. sent8: the rig is not a kind of a revisionist if either it is not a complex or it is not a revisionist or both. sent9: the grabber is not a kind of a cairned if that it dims aplomb and is a cognizance is not correct. sent10: if the rig dims bluntness it is a kind of a refrain. sent11: if something is a refrain it dims bluntness. sent12: the sport is non-noncaloric. sent13: the Hull is not a tailored but it dims tuff if the grabber is not non-adjectival. sent14: the rig does dim bluntness. sent15: there is something such that it is a kind of a atonality. sent16: the fact that the wish-wash is a logician and it is a Eureka is not true. sent17: the sport does not succumb if it is both not a revisionist and non-noncaloric. sent18: the wish-wash is not a Eureka if that it is a kind of a logician that is a Eureka is not true. sent19: The bluntness does dim rig. sent20: if the rig does refrain it does not dim Amblyrhynchus. sent21: the fact that that the rig is noncaloric but it is not a atonality hold is false if it is not a revisionist. sent22: if there is something such that it is not a atonality the sport is not a revisionist and it is not noncaloric. sent23: the sport does dim Amblyrhynchus if the rig does dim Amblyrhynchus. sent24: if the wish-wash is not a kind of a Eureka then the fact that the grabber dims aplomb and it is a cognizance is not right. sent25: the fact that something succumbs is not wrong if it does not dim bluntness and is not a refrain. sent26: if the sport is a kind of a revisionist it does not dim bluntness. sent27: if the sport does dim bluntness then the fact that the rig is noncaloric is not incorrect. ; $proof$ = 
sent10 & sent14 -> int1: the rig refrains.; int1 & sent20 -> int2: the rig does not dim Amblyrhynchus.; int2 & sent1 -> int3: the rig is not a atonality.; int3 -> int4: there exists something such that it is not a kind of a atonality.; int4 & sent22 -> int5: the sport is both not a revisionist and not noncaloric.; int5 & sent17 -> hypothesis; __DISPROVED__