there is something such that if it is not a kind of a Franciscan that it is both rocky and thermoplastic is not true.
sent1: the fact that the handler is both rocky and thermoplastic is not true if it is not a Franciscan. sent2: that the wattage is Franciscan thing that is tights does not hold if it does not coffin style. sent3: there exists something such that if it is a kind of a Franciscan the fact that it is rocky and is a thermoplastic is not right. sent4: the fact that the handler is both rocky and a thermoplastic is false if it is a Franciscan. sent5: that the handler is rocky and it is a thermoplastic hold if it is not a kind of a Franciscan. sent6: there is something such that if it is not Franciscan it is rocky and is thermoplastic.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a kind of a Franciscan that it is both rocky and thermoplastic is not true. ; $context$ = sent1: the fact that the handler is both rocky and thermoplastic is not true if it is not a Franciscan. sent2: that the wattage is Franciscan thing that is tights does not hold if it does not coffin style. sent3: there exists something such that if it is a kind of a Franciscan the fact that it is rocky and is a thermoplastic is not right. sent4: the fact that the handler is both rocky and a thermoplastic is false if it is a Franciscan. sent5: that the handler is rocky and it is a thermoplastic hold if it is not a kind of a Franciscan. sent6: there is something such that if it is not Franciscan it is rocky and is thermoplastic. ; $proof$ = 
sent1 -> hypothesis; __PROVED__