that if the stump does not crust bearing then the packinghouse is non-antipollution does not hold.
sent1: the packinghouse is anguine thing that does not cleave if the stump does not crust bearing. sent2: if something is anguine and does not cleave it is not antipollution. sent3: if the sparrow is anthropic and is former it does not cleave. sent4: if something is anguine and does not cleave it is antipollution.
void -> assump1: Let's assume that the stump does not crust bearing.; sent1 & assump1 -> int1: the fact that the packinghouse is anguine but it does not cleave is not incorrect.; sent2 -> int2: the packinghouse is not antipollution if it is anguine and it does not cleave.; int1 & int2 -> int3: the packinghouse is not antipollution.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the stump does not crust bearing then the packinghouse is non-antipollution does not hold. ; $context$ = sent1: the packinghouse is anguine thing that does not cleave if the stump does not crust bearing. sent2: if something is anguine and does not cleave it is not antipollution. sent3: if the sparrow is anthropic and is former it does not cleave. sent4: if something is anguine and does not cleave it is antipollution. ; $proof$ = 
void -> assump1: Let's assume that the stump does not crust bearing.; sent1 & assump1 -> int1: the fact that the packinghouse is anguine but it does not cleave is not incorrect.; sent2 -> int2: the packinghouse is not antipollution if it is anguine and it does not cleave.; int1 & int2 -> int3: the packinghouse is not antipollution.; [assump1] & int3 -> hypothesis; __DISPROVED__