there exists something such that if it is not a kind of a chalcedony that it is a kind of nonastringent a robe is wrong.
sent1: that the worthy is both nonastringent and a robe is false if it is not a chalcedony. sent2: there exists something such that if it is a chalcedony then the fact that it is a kind of nonastringent thing that is a robe is not right. sent3: if the worthy is not a chalcedony then it is both nonastringent and a robe.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a kind of a chalcedony that it is a kind of nonastringent a robe is wrong. ; $context$ = sent1: that the worthy is both nonastringent and a robe is false if it is not a chalcedony. sent2: there exists something such that if it is a chalcedony then the fact that it is a kind of nonastringent thing that is a robe is not right. sent3: if the worthy is not a chalcedony then it is both nonastringent and a robe. ; $proof$ = 
sent1 -> hypothesis; __PROVED__