there is something such that if it wires cord it is not an overnighter and it is not a pongee.
sent1: there is something such that if it wires cord it is not a pongee. sent2: there is something such that if it abuses it does distinguish windbreak and is not a kick. sent3: if the cord does wire cord it is not a kind of an overnighter and it is a pongee. sent4: if the cord wires cord then it is not an overnighter. sent5: the cord is not a kind of an overnighter and it is not a pongee if it does wire cord. sent6: there exists something such that if it wires cord it is not a kind of an overnighter. sent7: there is something such that if it is a constant then it is uniformed but not fallible.
sent5 -> hypothesis;
$hypothesis$ = there is something such that if it wires cord it is not an overnighter and it is not a pongee. ; $context$ = sent1: there is something such that if it wires cord it is not a pongee. sent2: there is something such that if it abuses it does distinguish windbreak and is not a kick. sent3: if the cord does wire cord it is not a kind of an overnighter and it is a pongee. sent4: if the cord wires cord then it is not an overnighter. sent5: the cord is not a kind of an overnighter and it is not a pongee if it does wire cord. sent6: there exists something such that if it wires cord it is not a kind of an overnighter. sent7: there is something such that if it is a constant then it is uniformed but not fallible. ; $proof$ = 
sent5 -> hypothesis; __PROVED__