the Taracahitian is downmarket and is not a keratoscopy.
sent1: the scallion is a scorcher but it is not a kind of a plane. sent2: if something is starry it is Hemingwayesque. sent3: if the scallion is not a keratoscopy the Taracahitian is not a scorcher. sent4: if that the fact that something is a kind of a primogeniture that is not a trample is true is incorrect then it does not tag animality. sent5: the scallion does not petrify. sent6: the Taracahitian is not proximal. sent7: the bignoniad is not exacta if something that does not tag animality is Hemingwayesque. sent8: the Taracahitian is both a keratoscopy and not a scorcher if the scallion is not downmarket. sent9: the shrine is a prickleback. sent10: that the pianist is not downmarket hold. sent11: that the Taracahitian is downmarket but it is not a kind of a keratoscopy is not right if that the scoter is proximal hold. sent12: that the pointillist is not proximal and not a tradeoff is not correct if the fact that that the bignoniad is exacta is not true is not wrong. sent13: the shrine is starry if it is a kind of a prickleback. sent14: the Taracahitian is downmarket and is not proximal. sent15: that the shrine is a primogeniture but it is not a trample is not correct if it does Rollerblade. sent16: if something is a kind of a scorcher but it does not plane then the scoter is not proximal. sent17: the fact that the fact that the wheatgrass is not a superclass and is noncritical is not right is right. sent18: the Taracahitian is a kind of downmarket thing that is not a kind of a keratoscopy if the scoter is not proximal. sent19: if something that is a scorcher is not downmarket then the scallion is not a keratoscopy. sent20: the shrine Rollerblades if there exists something such that the fact that it is not a superclass and it is noncritical does not hold.
sent1 -> int1: there exists something such that it is a scorcher and it is not a plane.; int1 & sent16 -> int2: the scoter is not proximal.; sent18 & int2 -> hypothesis;
that the Taracahitian is downmarket but it is not a keratoscopy is false.
sent4 -> int3: if that the shrine is a primogeniture and not a trample is wrong then it does not tag animality.; sent17 -> int4: there exists something such that the fact that it is not a superclass but noncritical is not right.; int4 & sent20 -> int5: that the shrine is a kind of a Rollerblade is not wrong.; sent15 & int5 -> int6: that the shrine is a primogeniture but it does not trample is not correct.; int3 & int6 -> int7: the shrine does not tag animality.; sent2 -> int8: the shrine is Hemingwayesque if it is starry.; sent13 & sent9 -> int9: the shrine is starry.; int8 & int9 -> int10: the shrine is Hemingwayesque.; int7 & int10 -> int11: the shrine does not tag animality and is Hemingwayesque.; int11 -> int12: there exists something such that it does not tag animality and it is Hemingwayesque.; int12 & sent7 -> int13: the bignoniad is not exacta.; sent12 & int13 -> int14: the fact that the pointillist is not proximal and it is not a tradeoff is false.; int14 -> int15: there is something such that the fact that it is not proximal and it is not a tradeoff is not correct.;
$hypothesis$ = the Taracahitian is downmarket and is not a keratoscopy. ; $context$ = sent1: the scallion is a scorcher but it is not a kind of a plane. sent2: if something is starry it is Hemingwayesque. sent3: if the scallion is not a keratoscopy the Taracahitian is not a scorcher. sent4: if that the fact that something is a kind of a primogeniture that is not a trample is true is incorrect then it does not tag animality. sent5: the scallion does not petrify. sent6: the Taracahitian is not proximal. sent7: the bignoniad is not exacta if something that does not tag animality is Hemingwayesque. sent8: the Taracahitian is both a keratoscopy and not a scorcher if the scallion is not downmarket. sent9: the shrine is a prickleback. sent10: that the pianist is not downmarket hold. sent11: that the Taracahitian is downmarket but it is not a kind of a keratoscopy is not right if that the scoter is proximal hold. sent12: that the pointillist is not proximal and not a tradeoff is not correct if the fact that that the bignoniad is exacta is not true is not wrong. sent13: the shrine is starry if it is a kind of a prickleback. sent14: the Taracahitian is downmarket and is not proximal. sent15: that the shrine is a primogeniture but it is not a trample is not correct if it does Rollerblade. sent16: if something is a kind of a scorcher but it does not plane then the scoter is not proximal. sent17: the fact that the fact that the wheatgrass is not a superclass and is noncritical is not right is right. sent18: the Taracahitian is a kind of downmarket thing that is not a kind of a keratoscopy if the scoter is not proximal. sent19: if something that is a scorcher is not downmarket then the scallion is not a keratoscopy. sent20: the shrine Rollerblades if there exists something such that the fact that it is not a superclass and it is noncritical does not hold. ; $proof$ = 
sent1 -> int1: there exists something such that it is a scorcher and it is not a plane.; int1 & sent16 -> int2: the scoter is not proximal.; sent18 & int2 -> hypothesis; __PROVED__