if the firebombing creativity happens then that the firebombing holly does not occur and the chlorophylloseness does not occur is wrong.
sent1: that the stretching does not occur brings about the walking ani and/or that the chlorophylloseness does not occur. sent2: the firebombing creativity does not occur if the stretching does not occur. sent3: that the streaking does not occur and the chokehold does not occur is not correct if the firebombing holly does not occur. sent4: that either the walking ani does not occur or the stretching does not occur or both is brought about by that the chlorophylloseness does not occur. sent5: the firebombing creativity does not occur if that the walking ani does not occur is true. sent6: the fact that the firebombing holly does not occur and the chlorophylloseness occurs is not right. sent7: the firebombing holly does not occur if either the walking ani happens or the chlorophylloseness does not occur or both.
void -> assump1: Let's assume that the firebombing creativity happens.; void -> assump2: Let's assume that the firebombing holly does not occur and the chlorophylloseness does not occur.; assump2 -> int1: the chlorophylloseness does not occur.; sent4 & int1 -> int2: the walking ani does not occur and/or the stretching does not occur.; int2 & sent5 & sent2 -> int3: the firebombing creativity does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the firebombing holly does not occur and the chlorophylloseness does not occur is not right.; [assump1] & int5 -> hypothesis;
the fact that the streak does not occur and the chokehold does not occur does not hold.
$hypothesis$ = if the firebombing creativity happens then that the firebombing holly does not occur and the chlorophylloseness does not occur is wrong. ; $context$ = sent1: that the stretching does not occur brings about the walking ani and/or that the chlorophylloseness does not occur. sent2: the firebombing creativity does not occur if the stretching does not occur. sent3: that the streaking does not occur and the chokehold does not occur is not correct if the firebombing holly does not occur. sent4: that either the walking ani does not occur or the stretching does not occur or both is brought about by that the chlorophylloseness does not occur. sent5: the firebombing creativity does not occur if that the walking ani does not occur is true. sent6: the fact that the firebombing holly does not occur and the chlorophylloseness occurs is not right. sent7: the firebombing holly does not occur if either the walking ani happens or the chlorophylloseness does not occur or both. ; $proof$ = 
void -> assump1: Let's assume that the firebombing creativity happens.; void -> assump2: Let's assume that the firebombing holly does not occur and the chlorophylloseness does not occur.; assump2 -> int1: the chlorophylloseness does not occur.; sent4 & int1 -> int2: the walking ani does not occur and/or the stretching does not occur.; int2 & sent5 & sent2 -> int3: the firebombing creativity does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the firebombing holly does not occur and the chlorophylloseness does not occur is not right.; [assump1] & int5 -> hypothesis; __PROVED__