the fact that there exists something such that if it companies cactus then it does sign damaging does not hold.
sent1: if something does sign ersatz then it does sign damaging. sent2: the omnirange is puncturable if that it does company cactus is not wrong. sent3: if that something is puncturable is true it signs damaging.
void -> assump1: Let's assume that the omnirange companies cactus.; sent2 & assump1 -> int1: the omnirange is puncturable.; sent3 -> int2: if the omnirange is puncturable then the fact that it does sign damaging hold.; int1 & int2 -> int3: the omnirange signs damaging.; [assump1] & int3 -> int4: the omnirange signs damaging if it companies cactus.; int4 -> hypothesis;
if the oilfish signs ersatz then the fact that it does sign damaging is not false.
sent1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it companies cactus then it does sign damaging does not hold. ; $context$ = sent1: if something does sign ersatz then it does sign damaging. sent2: the omnirange is puncturable if that it does company cactus is not wrong. sent3: if that something is puncturable is true it signs damaging. ; $proof$ = 
void -> assump1: Let's assume that the omnirange companies cactus.; sent2 & assump1 -> int1: the omnirange is puncturable.; sent3 -> int2: if the omnirange is puncturable then the fact that it does sign damaging hold.; int1 & int2 -> int3: the omnirange signs damaging.; [assump1] & int3 -> int4: the omnirange signs damaging if it companies cactus.; int4 -> hypothesis; __DISPROVED__