there exists something such that if it is not a metallurgist then it is honorable.
sent1: something spangles if it is not a Malay. sent2: if something is not a kind of a mime then it beholds. sent3: if something is not a kind of a metallurgist that it is honorable is not false. sent4: the selection is honorable if it is a metallurgist. sent5: there is something such that if it is a kind of a metallurgist it is honorable. sent6: there is something such that if it does not browse clampdown it does disunify spree. sent7: there is something such that if it does not twig it is a Thorshavn. sent8: if something is a metallurgist then it is honorable. sent9: something is a tourniquet if it is not telluric.
sent3 -> int1: the fact that if the selection is not the metallurgist then the selection is not dishonorable hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a metallurgist then it is honorable. ; $context$ = sent1: something spangles if it is not a Malay. sent2: if something is not a kind of a mime then it beholds. sent3: if something is not a kind of a metallurgist that it is honorable is not false. sent4: the selection is honorable if it is a metallurgist. sent5: there is something such that if it is a kind of a metallurgist it is honorable. sent6: there is something such that if it does not browse clampdown it does disunify spree. sent7: there is something such that if it does not twig it is a Thorshavn. sent8: if something is a metallurgist then it is honorable. sent9: something is a tourniquet if it is not telluric. ; $proof$ = 
sent3 -> int1: the fact that if the selection is not the metallurgist then the selection is not dishonorable hold.; int1 -> hypothesis; __PROVED__