that the corymb retouches retreatant or is not millennial or both is not correct.
sent1: the fact that the matchbook is not non-algometric hold. sent2: the Almoravid is not a pennyroyal. sent3: if something does not retouch TT then it clangors Cannae and is a kind of a leptodactylid. sent4: the Almoravid is not a kind of a pennyroyal if the Welshman is not a pennyroyal. sent5: the streusel is not a balletomane. sent6: the matchbook is algometric if the fact that it does retouch TT is right. sent7: there is something such that it does clangor Cannae. sent8: the matchbook is a kind of algometric thing that is not a leptodactylid if it does retouch TT. sent9: a pennyroyal retouches retreatant. sent10: if the Dimetapp is vertebral the fact that the matchbook is a leptodactylid is not incorrect. sent11: if the Welshman is not non-vertebral the Almoravid is a kind of a appareled. sent12: the frail is not a balletomane. sent13: if there is something such that it does not clangor Cannae the Dimetapp is vertebral. sent14: the matchbook is a couverture if the streusel is not a balletomane. sent15: if the Almoravid is a appareled and it is a kind of a pennyroyal then the frail does not clangor Cannae. sent16: if the Almoravid is a appareled but it is not a kind of a pennyroyal the frail does not clangor Cannae. sent17: if the Almoravid is not a kind of a couverture it does not retouch TT. sent18: if the corymb retouches retreatant the Welshman is not a pennyroyal. sent19: the Almoravid is not a kind of a couverture. sent20: if the Welshman is non-algometric then it is vertebral or it is a appareled or both. sent21: the fact that the Welshman is not algometric is not incorrect. sent22: the Welshman is a pennyroyal if the corymb does retouch retreatant. sent23: if the Welshman is not a pennyroyal the Almoravid is a appareled but it is not a kind of a pennyroyal. sent24: if the corymb is not millennial the Welshman is not a pennyroyal. sent25: the matchbook is a couverture. sent26: if the streusel is not a balletomane then the matchbook retouches TT and it is a couverture.
void -> assump1: Let's assume that either the corymb retouches retreatant or it is not millennial or both.; assump1 & sent18 & sent24 -> int1: the Welshman is not a pennyroyal.; int1 & sent23 -> int2: the Almoravid is a appareled but it is not a pennyroyal.; int2 & sent16 -> int3: the frail does not clangor Cannae.; int3 -> int4: something does not clangor Cannae.; int4 & sent13 -> int5: the Dimetapp is vertebral.; int5 & sent10 -> int6: the matchbook is a leptodactylid.; sent26 & sent5 -> int7: the matchbook retouches TT and it is a couverture.; int7 -> int8: that the matchbook retouches TT is not wrong.; sent8 & int8 -> int9: the matchbook is algometric but it is not a leptodactylid.; int9 -> int10: that the matchbook is not a leptodactylid hold.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
the corymb does retouch retreatant and/or is not millennial.
sent9 -> int12: that the corymb retouches retreatant hold if it is a pennyroyal.; sent3 -> int13: the Almoravid does clangor Cannae and it is a kind of a leptodactylid if the fact that it does not retouch TT is not incorrect.; sent17 & sent19 -> int14: the Almoravid does not retouch TT.; int13 & int14 -> int15: the Almoravid does clangor Cannae and is a kind of a leptodactylid.; int15 -> int16: the Almoravid clangors Cannae.; sent20 & sent21 -> int17: the Welshman is vertebral or it is a appareled or both.;
$hypothesis$ = that the corymb retouches retreatant or is not millennial or both is not correct. ; $context$ = sent1: the fact that the matchbook is not non-algometric hold. sent2: the Almoravid is not a pennyroyal. sent3: if something does not retouch TT then it clangors Cannae and is a kind of a leptodactylid. sent4: the Almoravid is not a kind of a pennyroyal if the Welshman is not a pennyroyal. sent5: the streusel is not a balletomane. sent6: the matchbook is algometric if the fact that it does retouch TT is right. sent7: there is something such that it does clangor Cannae. sent8: the matchbook is a kind of algometric thing that is not a leptodactylid if it does retouch TT. sent9: a pennyroyal retouches retreatant. sent10: if the Dimetapp is vertebral the fact that the matchbook is a leptodactylid is not incorrect. sent11: if the Welshman is not non-vertebral the Almoravid is a kind of a appareled. sent12: the frail is not a balletomane. sent13: if there is something such that it does not clangor Cannae the Dimetapp is vertebral. sent14: the matchbook is a couverture if the streusel is not a balletomane. sent15: if the Almoravid is a appareled and it is a kind of a pennyroyal then the frail does not clangor Cannae. sent16: if the Almoravid is a appareled but it is not a kind of a pennyroyal the frail does not clangor Cannae. sent17: if the Almoravid is not a kind of a couverture it does not retouch TT. sent18: if the corymb retouches retreatant the Welshman is not a pennyroyal. sent19: the Almoravid is not a kind of a couverture. sent20: if the Welshman is non-algometric then it is vertebral or it is a appareled or both. sent21: the fact that the Welshman is not algometric is not incorrect. sent22: the Welshman is a pennyroyal if the corymb does retouch retreatant. sent23: if the Welshman is not a pennyroyal the Almoravid is a appareled but it is not a kind of a pennyroyal. sent24: if the corymb is not millennial the Welshman is not a pennyroyal. sent25: the matchbook is a couverture. sent26: if the streusel is not a balletomane then the matchbook retouches TT and it is a couverture. ; $proof$ = 
void -> assump1: Let's assume that either the corymb retouches retreatant or it is not millennial or both.; assump1 & sent18 & sent24 -> int1: the Welshman is not a pennyroyal.; int1 & sent23 -> int2: the Almoravid is a appareled but it is not a pennyroyal.; int2 & sent16 -> int3: the frail does not clangor Cannae.; int3 -> int4: something does not clangor Cannae.; int4 & sent13 -> int5: the Dimetapp is vertebral.; int5 & sent10 -> int6: the matchbook is a leptodactylid.; sent26 & sent5 -> int7: the matchbook retouches TT and it is a couverture.; int7 -> int8: that the matchbook retouches TT is not wrong.; sent8 & int8 -> int9: the matchbook is algometric but it is not a leptodactylid.; int9 -> int10: that the matchbook is not a leptodactylid hold.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __PROVED__