the fact that that the lateness occurs is prevented by that the antiquating occurs is false.
sent1: the wardenship occurs. sent2: the fact that the snarling indispensability occurs hold. sent3: if the antiquating happens then the lateness happens. sent4: if both the antiquating and the snarling indispensability occurs that the lateness does not occur is not false.
void -> assump1: Let's assume that the antiquating occurs.; assump1 & sent2 -> int1: the fact that the antiquating happens and the snarling indispensability occurs hold.; sent4 & int1 -> int2: the lateness does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that that the lateness occurs is prevented by that the antiquating occurs is false. ; $context$ = sent1: the wardenship occurs. sent2: the fact that the snarling indispensability occurs hold. sent3: if the antiquating happens then the lateness happens. sent4: if both the antiquating and the snarling indispensability occurs that the lateness does not occur is not false. ; $proof$ = 
void -> assump1: Let's assume that the antiquating occurs.; assump1 & sent2 -> int1: the fact that the antiquating happens and the snarling indispensability occurs hold.; sent4 & int1 -> int2: the lateness does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__