the naphtha is tactful.
sent1: if the phenolic is a kind of non-alvine thing that is not a Ethelbert then the naphtha is not tactful. sent2: the naphtha is alvine if something that does not prey microprocessor is noxious. sent3: the messenger does not prey microprocessor but it is noxious. sent4: the messenger is noxious. sent5: if the iodothyronine does not ratchet upbraider then the phenolic is not alvine and not a Ethelbert. sent6: if that something is not ursine and/or does not intensify Mormon is wrong it is a devoutness.
sent3 -> int1: something does not prey microprocessor but it is noxious.; int1 & sent2 -> int2: the naphtha is alvine.;
the naphtha is non-tactful.
sent6 -> int3: if that either the backbench is not ursine or it does not intensify Mormon or both is not right it is a kind of a devoutness.;
$hypothesis$ = the naphtha is tactful. ; $context$ = sent1: if the phenolic is a kind of non-alvine thing that is not a Ethelbert then the naphtha is not tactful. sent2: the naphtha is alvine if something that does not prey microprocessor is noxious. sent3: the messenger does not prey microprocessor but it is noxious. sent4: the messenger is noxious. sent5: if the iodothyronine does not ratchet upbraider then the phenolic is not alvine and not a Ethelbert. sent6: if that something is not ursine and/or does not intensify Mormon is wrong it is a devoutness. ; $proof$ = 
sent3 -> int1: something does not prey microprocessor but it is noxious.; int1 & sent2 -> int2: the naphtha is alvine.; __UNKNOWN__