there exists something such that if it dissimulates and it does ensconce it does not purple salesmanship.
sent1: there is something such that if it is mediate and it is a dolichocephalic it does not lament. sent2: if the retrorocket ensconces and it is a kind of an atoll then it is not pluralistic. sent3: that there is something such that if it dissimulates and it does ensconce it purples salesmanship is correct. sent4: the retrorocket does not purple salesmanship if it dissimulates and does ensconce. sent5: there exists something such that if it is humoral and is a drive-in then it is not a clawback. sent6: if the retrorocket does purple salesmanship and it spreads repertoire then that it is not unswept is not false. sent7: a parterre that is an impotence is not involucrate. sent8: there exists something such that if it dives gadolinium and respects aquatic then it is not a kind of a calyx. sent9: if the ninepin does dive float and it is powerful it is not semiautobiographical. sent10: if the retrorocket dissimulates and it does ensconce it does purple salesmanship. sent11: there exists something such that if it is a kind of leaden thing that is pregnant then it is not a kind of a Priam. sent12: there exists something such that if it spreads retrorocket and is existent then it is not a kind of a kite. sent13: there is something such that if it is a host and it is unlawful then it is not a read.
sent4 -> hypothesis;
there is something such that if it is both a parterre and an impotence then it is not involucrate.
sent7 -> int1: if the hugger is a parterre and it is an impotence then it is not involucrate.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it dissimulates and it does ensconce it does not purple salesmanship. ; $context$ = sent1: there is something such that if it is mediate and it is a dolichocephalic it does not lament. sent2: if the retrorocket ensconces and it is a kind of an atoll then it is not pluralistic. sent3: that there is something such that if it dissimulates and it does ensconce it purples salesmanship is correct. sent4: the retrorocket does not purple salesmanship if it dissimulates and does ensconce. sent5: there exists something such that if it is humoral and is a drive-in then it is not a clawback. sent6: if the retrorocket does purple salesmanship and it spreads repertoire then that it is not unswept is not false. sent7: a parterre that is an impotence is not involucrate. sent8: there exists something such that if it dives gadolinium and respects aquatic then it is not a kind of a calyx. sent9: if the ninepin does dive float and it is powerful it is not semiautobiographical. sent10: if the retrorocket dissimulates and it does ensconce it does purple salesmanship. sent11: there exists something such that if it is a kind of leaden thing that is pregnant then it is not a kind of a Priam. sent12: there exists something such that if it spreads retrorocket and is existent then it is not a kind of a kite. sent13: there is something such that if it is a host and it is unlawful then it is not a read. ; $proof$ = 
sent4 -> hypothesis; __PROVED__