there exists something such that if it does not detail Stein then it does not capsule outfit.
sent1: there is something such that if it is not a syncope it is a lodger. sent2: the outfit does not capsule outfit if it does not detail Stein. sent3: if the reference does not detail coin it does not capsule outfit.
sent2 -> hypothesis;
$hypothesis$ = there exists something such that if it does not detail Stein then it does not capsule outfit. ; $context$ = sent1: there is something such that if it is not a syncope it is a lodger. sent2: the outfit does not capsule outfit if it does not detail Stein. sent3: if the reference does not detail coin it does not capsule outfit. ; $proof$ = 
sent2 -> hypothesis; __PROVED__