that if the affectation does not occur then that either the resident or the premiership or both occurs hold is incorrect.
sent1: the fact that the scrum happens and the wariness does not occur does not hold if the affectation does not occur. sent2: if that both the scrum and the unwaryness occurs does not hold the residentness happens. sent3: the fact that the scrum happens and the wariness occurs is false.
void -> assump1: Let's assume that the fact that the affectation does not occur hold.; sent1 & assump1 -> int1: that the scrum but not the wariness occurs does not hold.; sent2 & int1 -> int2: the residentness happens.; int2 -> int3: the residentness happens and/or the premiership happens.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the affectation does not occur then that either the resident or the premiership or both occurs hold is incorrect. ; $context$ = sent1: the fact that the scrum happens and the wariness does not occur does not hold if the affectation does not occur. sent2: if that both the scrum and the unwaryness occurs does not hold the residentness happens. sent3: the fact that the scrum happens and the wariness occurs is false. ; $proof$ = 
void -> assump1: Let's assume that the fact that the affectation does not occur hold.; sent1 & assump1 -> int1: that the scrum but not the wariness occurs does not hold.; sent2 & int1 -> int2: the residentness happens.; int2 -> int3: the residentness happens and/or the premiership happens.; [assump1] & int3 -> hypothesis; __DISPROVED__