there exists something such that if it does not horripilate Tammany it is an antecedent.
sent1: there exists something such that if that it does not reposit Danube is right then it is unlivable. sent2: there is something such that if it horripilates Tammany the fact that it is an antecedent hold. sent3: there is something such that if it is not a Maja then it is a rudder. sent4: the arrack is a kind of a ornithopod if it is not a much. sent5: if the fact that the schlep does horripilate mound hold then it is an antecedent. sent6: the fact that the schlep does reposit phytochemical hold if it does not horripilate Tammany. sent7: the schlep does explode if it is not an antecedent. sent8: if the phytochemical is a kind of an antecedent then it is a save. sent9: there exists something such that if it does not crock then it is a Tellus. sent10: if something does not rejoin it horripilates Tammany. sent11: the oilman is a Heaven if it is not a Volgaic. sent12: if the schlep is a lunch it is an antecedent. sent13: if the schlep is not a much then it is a kind of an antecedent. sent14: if the urethane does not close it occidentalizes schlep. sent15: there exists something such that if it does not reposit Robert then it is ostentatious. sent16: the schlep is an antecedent if it does not horripilate Tammany. sent17: the schlep is a rival if it is not a kind of an antecedent. sent18: the schlep is a kind of an antecedent if it guns.
sent16 -> hypothesis;
if the reveler does not rejoin then it does horripilate Tammany.
sent10 -> hypothesis;
$hypothesis$ = there exists something such that if it does not horripilate Tammany it is an antecedent. ; $context$ = sent1: there exists something such that if that it does not reposit Danube is right then it is unlivable. sent2: there is something such that if it horripilates Tammany the fact that it is an antecedent hold. sent3: there is something such that if it is not a Maja then it is a rudder. sent4: the arrack is a kind of a ornithopod if it is not a much. sent5: if the fact that the schlep does horripilate mound hold then it is an antecedent. sent6: the fact that the schlep does reposit phytochemical hold if it does not horripilate Tammany. sent7: the schlep does explode if it is not an antecedent. sent8: if the phytochemical is a kind of an antecedent then it is a save. sent9: there exists something such that if it does not crock then it is a Tellus. sent10: if something does not rejoin it horripilates Tammany. sent11: the oilman is a Heaven if it is not a Volgaic. sent12: if the schlep is a lunch it is an antecedent. sent13: if the schlep is not a much then it is a kind of an antecedent. sent14: if the urethane does not close it occidentalizes schlep. sent15: there exists something such that if it does not reposit Robert then it is ostentatious. sent16: the schlep is an antecedent if it does not horripilate Tammany. sent17: the schlep is a rival if it is not a kind of an antecedent. sent18: the schlep is a kind of an antecedent if it guns. ; $proof$ = 
sent16 -> hypothesis; __PROVED__