there exists something such that if it is a legate then that it contorts uplifting and it does not bedizen bookishness does not hold.
sent1: there is something such that if it does contort greenmarket that it is a kind of an ulcer and it is not peaceful is false. sent2: if the repertory is a legate then that it does contort uplifting and does not bedizen bookishness is incorrect.
sent2 -> hypothesis;
$hypothesis$ = there exists something such that if it is a legate then that it contorts uplifting and it does not bedizen bookishness does not hold. ; $context$ = sent1: there is something such that if it does contort greenmarket that it is a kind of an ulcer and it is not peaceful is false. sent2: if the repertory is a legate then that it does contort uplifting and does not bedizen bookishness is incorrect. ; $proof$ = 
sent2 -> hypothesis; __PROVED__