there exists something such that if the fact that it is a retailing is right it is not a millime.
sent1: there exists something such that if that it retails hold then it is a millime. sent2: if the chandlery does retail then it is not a millime.
sent2 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is a retailing is right it is not a millime. ; $context$ = sent1: there exists something such that if that it retails hold then it is a millime. sent2: if the chandlery does retail then it is not a millime. ; $proof$ = 
sent2 -> hypothesis; __PROVED__