the fact that the tracing minicar does not occur but the acceleration occurs is not true if the guaranteeing Holarrhena does not occur.
sent1: that the curatorship does not occur is prevented by that the voicing and the consummation occurs. sent2: the guaranteeing Holarrhena happens if the tracing minicar does not occur and the acceleration happens. sent3: the tracing minicar does not occur. sent4: not the voicing but the guaranteeing applemint happens. sent5: the nonreciprocalness does not occur. sent6: if the voicing occurs then that the non-suctorialness and the outweighing happens is not true. sent7: that the fact that the laicizing Brya does not occur and the browsing occurs does not hold is correct if the fact that the screening does not occur is not incorrect. sent8: the fact that the measurement does not occur but the Sardinian happens is not right if the cubitalness occurs.
void -> assump1: Let's assume that the tracing minicar does not occur and the acceleration occurs.; sent2 & assump1 -> int1: the guaranteeing Holarrhena happens.; void -> assump2: Let's assume that the guaranteeing Holarrhena does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the tracing minicar does not occur and the acceleration occurs does not hold.; [assump2] & int3 -> hypothesis;
$hypothesis$ = the fact that the tracing minicar does not occur but the acceleration occurs is not true if the guaranteeing Holarrhena does not occur. ; $context$ = sent1: that the curatorship does not occur is prevented by that the voicing and the consummation occurs. sent2: the guaranteeing Holarrhena happens if the tracing minicar does not occur and the acceleration happens. sent3: the tracing minicar does not occur. sent4: not the voicing but the guaranteeing applemint happens. sent5: the nonreciprocalness does not occur. sent6: if the voicing occurs then that the non-suctorialness and the outweighing happens is not true. sent7: that the fact that the laicizing Brya does not occur and the browsing occurs does not hold is correct if the fact that the screening does not occur is not incorrect. sent8: the fact that the measurement does not occur but the Sardinian happens is not right if the cubitalness occurs. ; $proof$ = 
void -> assump1: Let's assume that the tracing minicar does not occur and the acceleration occurs.; sent2 & assump1 -> int1: the guaranteeing Holarrhena happens.; void -> assump2: Let's assume that the guaranteeing Holarrhena does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the tracing minicar does not occur and the acceleration occurs does not hold.; [assump2] & int3 -> hypothesis; __PROVED__