if the division does not occur the moping does not occur and the imperial does not occur.
sent1: the lens does not occur and the regeneration does not occur if the vasoconstriction happens. sent2: the imperial does not occur if that the quarterbacking and/or the playoff happens is not true. sent3: the fact that the quarterbacking occurs and/or the playoff happens is wrong if the division occurs. sent4: that the quarterbacking does not occur is true if the division does not occur. sent5: the vasoconstriction does not occur. sent6: the fact that the moping occurs does not hold if the lens occurs. sent7: that the moping does not occur and the imperial does not occur is brought about by the division. sent8: if the vasoconstriction does not occur either the lens or the regeneration or both occurs. sent9: the moping does not occur if the regeneration occurs. sent10: that the fact that either the quarterback occurs or the playoff occurs or both is false is not incorrect if the division does not occur. sent11: if the regeneration occurs then that the moping occurs is right.
void -> assump1: Let's assume that the division does not occur.; sent10 & assump1 -> int1: the fact that the quarterback happens or the playoff occurs or both is not right.; int1 & sent2 -> int2: the imperial does not occur.; sent8 & sent5 -> int3: the lens and/or the regeneration occurs.; int3 & sent6 & sent9 -> int4: the moping does not occur.; int2 & int4 -> int5: the moping does not occur and the imperialness does not occur.; [assump1] & int5 -> hypothesis;
the imitativeness does not occur.
$hypothesis$ = if the division does not occur the moping does not occur and the imperial does not occur. ; $context$ = sent1: the lens does not occur and the regeneration does not occur if the vasoconstriction happens. sent2: the imperial does not occur if that the quarterbacking and/or the playoff happens is not true. sent3: the fact that the quarterbacking occurs and/or the playoff happens is wrong if the division occurs. sent4: that the quarterbacking does not occur is true if the division does not occur. sent5: the vasoconstriction does not occur. sent6: the fact that the moping occurs does not hold if the lens occurs. sent7: that the moping does not occur and the imperial does not occur is brought about by the division. sent8: if the vasoconstriction does not occur either the lens or the regeneration or both occurs. sent9: the moping does not occur if the regeneration occurs. sent10: that the fact that either the quarterback occurs or the playoff occurs or both is false is not incorrect if the division does not occur. sent11: if the regeneration occurs then that the moping occurs is right. ; $proof$ = 
void -> assump1: Let's assume that the division does not occur.; sent10 & assump1 -> int1: the fact that the quarterback happens or the playoff occurs or both is not right.; int1 & sent2 -> int2: the imperial does not occur.; sent8 & sent5 -> int3: the lens and/or the regeneration occurs.; int3 & sent6 & sent9 -> int4: the moping does not occur.; int2 & int4 -> int5: the moping does not occur and the imperialness does not occur.; [assump1] & int5 -> hypothesis; __PROVED__