there is something such that if it is a vizier then it is a Zimbalist.
sent1: that if the work-shirt is the vizier then the work-shirt is papilliform is not false. sent2: there is something such that if it is a backdrop then it is an arsenic. sent3: there is something such that if it is nonastringent then it is a Ctenizidae. sent4: there exists something such that if that it is a kind of a nick is not wrong then it is a shamrock. sent5: if something is a kind of a Zimbalist it accommodates. sent6: something is exculpatory if it is a Zimbalist. sent7: there is something such that if it is a spodumene then it is a Termitidae. sent8: if the weight is a vizier then it is periodontic. sent9: the work-shirt is a Zimbalist if it is a kind of a vizier. sent10: if the surbase is a kind of a Zimbalist it is a pollination.
sent9 -> hypothesis;
if the wig is a Zimbalist it does accommodate.
sent5 -> hypothesis;
$hypothesis$ = there is something such that if it is a vizier then it is a Zimbalist. ; $context$ = sent1: that if the work-shirt is the vizier then the work-shirt is papilliform is not false. sent2: there is something such that if it is a backdrop then it is an arsenic. sent3: there is something such that if it is nonastringent then it is a Ctenizidae. sent4: there exists something such that if that it is a kind of a nick is not wrong then it is a shamrock. sent5: if something is a kind of a Zimbalist it accommodates. sent6: something is exculpatory if it is a Zimbalist. sent7: there is something such that if it is a spodumene then it is a Termitidae. sent8: if the weight is a vizier then it is periodontic. sent9: the work-shirt is a Zimbalist if it is a kind of a vizier. sent10: if the surbase is a kind of a Zimbalist it is a pollination. ; $proof$ = 
sent9 -> hypothesis; __PROVED__