the fact that the eight is not a renegade hold.
sent1: if the dipterocarp is expensive the piperazine is clitoral. sent2: the eight is a renegade if the piperazine is clitoral. sent3: the dipterocarp is expensive if the militiaman is amphoric. sent4: something is not a renegade if the fact that it sentimentalises Manda or is not amphoric or both is not true. sent5: the militiaman is amphoric but it does not sentimentalise Manda.
sent5 -> int1: the militiaman is amphoric.; sent3 & int1 -> int2: the dipterocarp is expensive.; sent1 & int2 -> int3: the piperazine is clitoral.; sent2 & int3 -> hypothesis;
the eight is not a renegade.
sent4 -> int4: the eight is not a renegade if that that it either does sentimentalise Manda or is not amphoric or both is not wrong is not correct.;
$hypothesis$ = the fact that the eight is not a renegade hold. ; $context$ = sent1: if the dipterocarp is expensive the piperazine is clitoral. sent2: the eight is a renegade if the piperazine is clitoral. sent3: the dipterocarp is expensive if the militiaman is amphoric. sent4: something is not a renegade if the fact that it sentimentalises Manda or is not amphoric or both is not true. sent5: the militiaman is amphoric but it does not sentimentalise Manda. ; $proof$ = 
sent5 -> int1: the militiaman is amphoric.; sent3 & int1 -> int2: the dipterocarp is expensive.; sent1 & int2 -> int3: the piperazine is clitoral.; sent2 & int3 -> hypothesis; __DISPROVED__