the levallorphan is a kind of a bandage.
sent1: there exists something such that it is not a bandage. sent2: if something is not unfaithful and is concise then the levallorphan is a bandage. sent3: there exists something such that it is not unfaithful but concise. sent4: the levallorphan is unfaithful. sent5: if something that is a bandage is a thumbscrew the blindworm is supraorbital. sent6: the levallorphan eludes if something does not bandage but it does curb nawab.
sent3 & sent2 -> hypothesis;
$hypothesis$ = the levallorphan is a kind of a bandage. ; $context$ = sent1: there exists something such that it is not a bandage. sent2: if something is not unfaithful and is concise then the levallorphan is a bandage. sent3: there exists something such that it is not unfaithful but concise. sent4: the levallorphan is unfaithful. sent5: if something that is a bandage is a thumbscrew the blindworm is supraorbital. sent6: the levallorphan eludes if something does not bandage but it does curb nawab. ; $proof$ = 
sent3 & sent2 -> hypothesis; __PROVED__