that the fact that the raiding does not occur and/or the supervision does not occur if the latestness happens hold is not right.
sent1: if the latestness does not occur then not the spending Marlowe but the testifying innovativeness occurs. sent2: the raiding does not occur if either the testifying innovativeness or the latestness or both happens. sent3: the congratulating spinelessness happens. sent4: that the testifying innovativeness occurs hold.
void -> assump1: Let's assume that that the latestness occurs hold.; assump1 -> int1: the testifying innovativeness and/or the latest occurs.; int1 & sent2 -> int2: the raid does not occur.; int2 -> int3: the raiding does not occur or the supervision does not occur or both.; [assump1] & int3 -> hypothesis;
the spending Marlowe does not occur.
$hypothesis$ = that the fact that the raiding does not occur and/or the supervision does not occur if the latestness happens hold is not right. ; $context$ = sent1: if the latestness does not occur then not the spending Marlowe but the testifying innovativeness occurs. sent2: the raiding does not occur if either the testifying innovativeness or the latestness or both happens. sent3: the congratulating spinelessness happens. sent4: that the testifying innovativeness occurs hold. ; $proof$ = 
void -> assump1: Let's assume that that the latestness occurs hold.; assump1 -> int1: the testifying innovativeness and/or the latest occurs.; int1 & sent2 -> int2: the raid does not occur.; int2 -> int3: the raiding does not occur or the supervision does not occur or both.; [assump1] & int3 -> hypothesis; __DISPROVED__