the efflorescence occurs and/or the wheeling does not occur.
sent1: the non-boricness is triggered by that the overkill does not occur. sent2: if the overkill does not occur the boricness happens. sent3: the pleochroicness prevents that the efflorescence does not occur. sent4: if that either the audio-lingualness occurs or the overkill does not occur or both is not true then the jazzing generalship occurs. sent5: either the boricness does not occur or the visiting happens or both. sent6: the boricness does not occur if the audio-lingualness happens. sent7: if the boricness does not occur or the visit does not occur or both then the pleochroicness occurs. sent8: the jazzing generalship does not occur.
void -> assump1: Let's assume that the fact that the audio-lingualness happens and/or the overkill does not occur is not right.; sent4 & assump1 -> int1: the jazzing generalship happens.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the audio-lingualness happens and/or the overkill does not occur.; int3 & sent6 & sent1 -> int4: the boricness does not occur.; int4 -> int5: the boricness does not occur and/or the visiting does not occur.; int5 & sent7 -> int6: the pleochroicness happens.; int6 & sent3 -> int7: the efflorescence happens.; int7 -> hypothesis;
$hypothesis$ = the efflorescence occurs and/or the wheeling does not occur. ; $context$ = sent1: the non-boricness is triggered by that the overkill does not occur. sent2: if the overkill does not occur the boricness happens. sent3: the pleochroicness prevents that the efflorescence does not occur. sent4: if that either the audio-lingualness occurs or the overkill does not occur or both is not true then the jazzing generalship occurs. sent5: either the boricness does not occur or the visiting happens or both. sent6: the boricness does not occur if the audio-lingualness happens. sent7: if the boricness does not occur or the visit does not occur or both then the pleochroicness occurs. sent8: the jazzing generalship does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the audio-lingualness happens and/or the overkill does not occur is not right.; sent4 & assump1 -> int1: the jazzing generalship happens.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the audio-lingualness happens and/or the overkill does not occur.; int3 & sent6 & sent1 -> int4: the boricness does not occur.; int4 -> int5: the boricness does not occur and/or the visiting does not occur.; int5 & sent7 -> int6: the pleochroicness happens.; int6 & sent3 -> int7: the efflorescence happens.; int7 -> hypothesis; __PROVED__