that the masquerading does not occur if the arboricalness does not occur is wrong.
sent1: the arboricalness occurs if the masquerading happens.
void -> assump2: Let's assume that that the masquerading happens hold.; sent1 & assump2 -> int1: the arboricalness happens.; void -> assump1: Let's assume that the arboricalness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the masquerading does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the masquerading does not occur if the arboricalness does not occur is wrong. ; $context$ = sent1: the arboricalness occurs if the masquerading happens. ; $proof$ = 
void -> assump2: Let's assume that that the masquerading happens hold.; sent1 & assump2 -> int1: the arboricalness happens.; void -> assump1: Let's assume that the arboricalness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the masquerading does not occur.; [assump1] & int3 -> hypothesis; __DISPROVED__