the fact that the avianness happens and/or the Zambian does not occur is not correct if the fact that the mounting occurs is correct.
sent1: the non-Zambianness prevents that the interlocking Almaty happens. sent2: that either the tetragonalness happens or the supraorbitalness does not occur or both is not correct if the avianness occurs. sent3: if the flamenco does not occur then the interlocking Almaty happens and the mounting occurs. sent4: the interlocking Almaty does not occur if the avianness happens. sent5: if the interlocking Almaty does not occur then the fact that the mounting happens is not right. sent6: if the jumbling escaped does not occur then the jumbling magnetite occurs.
void -> assump2: Let's assume that the mounting occurs.; void -> assump1: Let's assume that the avianness occurs or the Zambianness does not occur or both.; assump1 & sent4 & sent1 -> int1: the interlocking Almaty does not occur.; sent5 & int1 -> int2: the mounting does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that either the avianness occurs or the Zambian does not occur or both does not hold.; [assump2] & int4 -> hypothesis;
that either the tetragonalness happens or the supraorbitalness does not occur or both is not true.
$hypothesis$ = the fact that the avianness happens and/or the Zambian does not occur is not correct if the fact that the mounting occurs is correct. ; $context$ = sent1: the non-Zambianness prevents that the interlocking Almaty happens. sent2: that either the tetragonalness happens or the supraorbitalness does not occur or both is not correct if the avianness occurs. sent3: if the flamenco does not occur then the interlocking Almaty happens and the mounting occurs. sent4: the interlocking Almaty does not occur if the avianness happens. sent5: if the interlocking Almaty does not occur then the fact that the mounting happens is not right. sent6: if the jumbling escaped does not occur then the jumbling magnetite occurs. ; $proof$ = 
void -> assump2: Let's assume that the mounting occurs.; void -> assump1: Let's assume that the avianness occurs or the Zambianness does not occur or both.; assump1 & sent4 & sent1 -> int1: the interlocking Almaty does not occur.; sent5 & int1 -> int2: the mounting does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that either the avianness occurs or the Zambian does not occur or both does not hold.; [assump2] & int4 -> hypothesis; __PROVED__