the deposing lizard happens or the deposing mobilization does not occur or both.
sent1: if the resubmitting tetrafluoroethylene happens then that either the lookout does not occur or the industrialness does not occur or both does not hold. sent2: the resubmitting tetrafluoroethylene occurs. sent3: that either the deposing mobilization or the divisionalness or both happens prevents the lookout. sent4: the fact that the deposing lizard happens and/or the deposing mobilization does not occur does not hold if the divisionalness occurs.
void -> assump1: Let's assume that the deposing mobilization occurs.; assump1 -> int1: the deposing mobilization or the divisionalness or both occurs.; int1 & sent3 -> int2: the lookout does not occur.; int2 -> int3: the lookout does not occur and/or the industrialness does not occur.; sent1 & sent2 -> int4: that the lookout does not occur and/or the industrialness does not occur does not hold.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the deposing mobilization does not occur.; int6 -> hypothesis;
the fact that the deposing lizard happens and/or the deposing mobilization does not occur is incorrect.
$hypothesis$ = the deposing lizard happens or the deposing mobilization does not occur or both. ; $context$ = sent1: if the resubmitting tetrafluoroethylene happens then that either the lookout does not occur or the industrialness does not occur or both does not hold. sent2: the resubmitting tetrafluoroethylene occurs. sent3: that either the deposing mobilization or the divisionalness or both happens prevents the lookout. sent4: the fact that the deposing lizard happens and/or the deposing mobilization does not occur does not hold if the divisionalness occurs. ; $proof$ = 
void -> assump1: Let's assume that the deposing mobilization occurs.; assump1 -> int1: the deposing mobilization or the divisionalness or both occurs.; int1 & sent3 -> int2: the lookout does not occur.; int2 -> int3: the lookout does not occur and/or the industrialness does not occur.; sent1 & sent2 -> int4: that the lookout does not occur and/or the industrialness does not occur does not hold.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the deposing mobilization does not occur.; int6 -> hypothesis; __PROVED__