there exists something such that if it does elope then that it is not neoplastic and is not a presentist does not hold.
sent1: that the restaurant is non-neoplastic and it is not a presentist is false if it elopes. sent2: that the restaurant is neoplastic and not a presentist is not true if it elopes. sent3: the restaurant is not neoplastic and is not a presentist if it does elope. sent4: there is something such that if it does elope then it is not neoplastic and it is not a presentist. sent5: there exists something such that if it does elope then that it is non-neoplastic a presentist does not hold. sent6: that the restaurant is not neoplastic but it is a presentist is incorrect if that it does not elope does not hold.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it does elope then that it is not neoplastic and is not a presentist does not hold. ; $context$ = sent1: that the restaurant is non-neoplastic and it is not a presentist is false if it elopes. sent2: that the restaurant is neoplastic and not a presentist is not true if it elopes. sent3: the restaurant is not neoplastic and is not a presentist if it does elope. sent4: there is something such that if it does elope then it is not neoplastic and it is not a presentist. sent5: there exists something such that if it does elope then that it is non-neoplastic a presentist does not hold. sent6: that the restaurant is not neoplastic but it is a presentist is incorrect if that it does not elope does not hold. ; $proof$ = 
sent1 -> hypothesis; __PROVED__