the fact that the resetting rear does not occur and/or the cericness does not occur does not hold.
sent1: the acentricness and the nonattendance occurs. sent2: if that the acentricness occurs is correct that the resetting rear does not occur or the cericness does not occur or both is incorrect. sent3: if the acentricness does not occur the resetting Owens occurs. sent4: the resetting rear and the resetting watercraft happens.
sent1 -> int1: the acentricness happens.; sent2 & int1 -> hypothesis;
both the resetting watercraft and the resetting Owens occurs.
sent4 -> int2: the resetting watercraft occurs.;
$hypothesis$ = the fact that the resetting rear does not occur and/or the cericness does not occur does not hold. ; $context$ = sent1: the acentricness and the nonattendance occurs. sent2: if that the acentricness occurs is correct that the resetting rear does not occur or the cericness does not occur or both is incorrect. sent3: if the acentricness does not occur the resetting Owens occurs. sent4: the resetting rear and the resetting watercraft happens. ; $proof$ = 
sent1 -> int1: the acentricness happens.; sent2 & int1 -> hypothesis; __PROVED__