there is something such that if it does perpetuate mastiff it is a Colombian.
sent1: if something shafts Terebellidae it is a Colombian. sent2: something evicts alphabet if it is New. sent3: the submucosa is a Colombian if it does bog abaca. sent4: there exists something such that if it is an infusion it is a kind of a multiple. sent5: the icebreaker is a cantala if it perpetuates mastiff. sent6: there is something such that if it is a kind of a nepheline then it concretes. sent7: something is a nepheline if it is a florilegium. sent8: if the submucosa does perpetuate mastiff then it is Colombian. sent9: if the abaca is Colombian then it submarines. sent10: there exists something such that if it is a rightness it excels. sent11: there is something such that if that it is a kind of a canistel hold the fact that it is autographic is not false. sent12: there is something such that if it is hyaloplasmic then it does shaft Schopenhauer. sent13: there is something such that if it shafts Schopenhauer it is a wrap.
sent8 -> hypothesis;
that the submucosa is a Colombian is true if that it shafts Terebellidae hold.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it does perpetuate mastiff it is a Colombian. ; $context$ = sent1: if something shafts Terebellidae it is a Colombian. sent2: something evicts alphabet if it is New. sent3: the submucosa is a Colombian if it does bog abaca. sent4: there exists something such that if it is an infusion it is a kind of a multiple. sent5: the icebreaker is a cantala if it perpetuates mastiff. sent6: there is something such that if it is a kind of a nepheline then it concretes. sent7: something is a nepheline if it is a florilegium. sent8: if the submucosa does perpetuate mastiff then it is Colombian. sent9: if the abaca is Colombian then it submarines. sent10: there exists something such that if it is a rightness it excels. sent11: there is something such that if that it is a kind of a canistel hold the fact that it is autographic is not false. sent12: there is something such that if it is hyaloplasmic then it does shaft Schopenhauer. sent13: there is something such that if it shafts Schopenhauer it is a wrap. ; $proof$ = 
sent8 -> hypothesis; __PROVED__