there is something such that if it is not marly it is a catalectic and does jacket thermoplastic.
sent1: there is something such that if that it is not marly is not false then it is catalectic. sent2: something is a kind of a catalectic that does jacket thermoplastic if it is not marly. sent3: something is catalectic if that it is not marly hold. sent4: something does jacket granule and it is a kind of a trowel if it is not pointless. sent5: if something is marly then it is a catalectic that does jacket thermoplastic. sent6: there is something such that if the fact that it is marly is right then it is a catalectic and it jackets thermoplastic. sent7: the wristband does palatalize bendability and is a snapper if it is not a Boccaccio. sent8: the ambiance is catalectic and jackets thermoplastic if it is marly. sent9: something is an ease and it is a kind of a hydathode if it does not migrate. sent10: if the ambiance is not marly then it is a catalectic. sent11: if the moderationist is not far then it is a kind of a actinolite that is unholy.
sent2 -> int1: the ambiance is catalectic and it does jacket thermoplastic if it is not marly.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not marly it is a catalectic and does jacket thermoplastic. ; $context$ = sent1: there is something such that if that it is not marly is not false then it is catalectic. sent2: something is a kind of a catalectic that does jacket thermoplastic if it is not marly. sent3: something is catalectic if that it is not marly hold. sent4: something does jacket granule and it is a kind of a trowel if it is not pointless. sent5: if something is marly then it is a catalectic that does jacket thermoplastic. sent6: there is something such that if the fact that it is marly is right then it is a catalectic and it jackets thermoplastic. sent7: the wristband does palatalize bendability and is a snapper if it is not a Boccaccio. sent8: the ambiance is catalectic and jackets thermoplastic if it is marly. sent9: something is an ease and it is a kind of a hydathode if it does not migrate. sent10: if the ambiance is not marly then it is a catalectic. sent11: if the moderationist is not far then it is a kind of a actinolite that is unholy. ; $proof$ = 
sent2 -> int1: the ambiance is catalectic and it does jacket thermoplastic if it is not marly.; int1 -> hypothesis; __PROVED__