that that the crossbreeding does not occur and/or the skimming basswood happens is not correct if the Mozambicanness does not occur does not hold.
sent1: if the skimming basswood happens the Mozambicanness occurs. sent2: that either the crossbreeding does not occur or the skimming basswood occurs or both is brought about by that the Mozambican does not occur. sent3: the civilian occurs if the distribution does not occur or the agribusiness occurs or both. sent4: the skimming basswood does not occur. sent5: the fact that either the misconstruing oblation does not occur or the impenitentness happens or both does not hold. sent6: the misconstruing sickle happens. sent7: that the crossbreeding or the skimming basswood or both happens does not hold if the Mozambican does not occur. sent8: the fact that the crossbreeding does not occur is not wrong. sent9: that the skimming necessitarian does not occur is correct if the unreportableness does not occur. sent10: the movie does not occur. sent11: the Mozambicanness is triggered by that the crossbreeding happens or that the skimming basswood happens or both. sent12: the fact that the crossbreeding occurs and/or the skimming basswood occurs is false. sent13: if either the crossbreeding does not occur or the skimming basswood happens or both then the Mozambican occurs. sent14: the skimming basswood does not occur if the Mozambican does not occur.
void -> assump1: Let's assume that the crossbreeding does not occur and/or the skimming basswood happens.; sent13 & assump1 -> int1: the fact that the Mozambican occurs is not wrong.; void -> assump2: Let's assume that that the Mozambican does not occur hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the crossbreeding does not occur or the skimming basswood happens or both is incorrect.; [assump2] & int3 -> hypothesis;
$hypothesis$ = that that the crossbreeding does not occur and/or the skimming basswood happens is not correct if the Mozambicanness does not occur does not hold. ; $context$ = sent1: if the skimming basswood happens the Mozambicanness occurs. sent2: that either the crossbreeding does not occur or the skimming basswood occurs or both is brought about by that the Mozambican does not occur. sent3: the civilian occurs if the distribution does not occur or the agribusiness occurs or both. sent4: the skimming basswood does not occur. sent5: the fact that either the misconstruing oblation does not occur or the impenitentness happens or both does not hold. sent6: the misconstruing sickle happens. sent7: that the crossbreeding or the skimming basswood or both happens does not hold if the Mozambican does not occur. sent8: the fact that the crossbreeding does not occur is not wrong. sent9: that the skimming necessitarian does not occur is correct if the unreportableness does not occur. sent10: the movie does not occur. sent11: the Mozambicanness is triggered by that the crossbreeding happens or that the skimming basswood happens or both. sent12: the fact that the crossbreeding occurs and/or the skimming basswood occurs is false. sent13: if either the crossbreeding does not occur or the skimming basswood happens or both then the Mozambican occurs. sent14: the skimming basswood does not occur if the Mozambican does not occur. ; $proof$ = 
void -> assump1: Let's assume that the crossbreeding does not occur and/or the skimming basswood happens.; sent13 & assump1 -> int1: the fact that the Mozambican occurs is not wrong.; void -> assump2: Let's assume that that the Mozambican does not occur hold.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the crossbreeding does not occur or the skimming basswood happens or both is incorrect.; [assump2] & int3 -> hypothesis; __DISPROVED__