that the backsaw is not powerful hold if the ward-heeler is non-anthropic and not inclement.
sent1: the backsaw is powerful if the fact that the schematic is not lobeliaceous but it is anthropic is false. sent2: if the ward-heeler is not anthropic then that the schematic is non-lobeliaceous and is anthropic is not correct. sent3: if that the schematic is non-lobeliaceous thing that is anthropic does not hold the backsaw is not powerful. sent4: if the ward-heeler is not anthropic and is not inclement then the backsaw is powerful.
void -> assump1: Let's assume that the ward-heeler is not anthropic and it is not inclement.; assump1 -> int1: the ward-heeler is not anthropic.; sent2 & int1 -> int2: the fact that the schematic is not lobeliaceous but it is anthropic is not true.; sent3 & int2 -> int3: the backsaw is not powerful.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the backsaw is not powerful hold if the ward-heeler is non-anthropic and not inclement. ; $context$ = sent1: the backsaw is powerful if the fact that the schematic is not lobeliaceous but it is anthropic is false. sent2: if the ward-heeler is not anthropic then that the schematic is non-lobeliaceous and is anthropic is not correct. sent3: if that the schematic is non-lobeliaceous thing that is anthropic does not hold the backsaw is not powerful. sent4: if the ward-heeler is not anthropic and is not inclement then the backsaw is powerful. ; $proof$ = 
void -> assump1: Let's assume that the ward-heeler is not anthropic and it is not inclement.; assump1 -> int1: the ward-heeler is not anthropic.; sent2 & int1 -> int2: the fact that the schematic is not lobeliaceous but it is anthropic is not true.; sent3 & int2 -> int3: the backsaw is not powerful.; [assump1] & int3 -> hypothesis; __PROVED__