the gouge happens but the splaying immunogen does not occur.
sent1: the communicating sphecoid does not occur if that the ctenoidness does not occur and the slogging does not occur is not false. sent2: the fact that the lockage occurs is not right. sent3: the splaying smothered does not occur. sent4: if the communicating sphecoid does not occur then the Machiavellianness occurs and the lockage does not occur. sent5: the fact that the gouging happens and the splaying immunogen does not occur is wrong if the splaying smothered occurs. sent6: the interlinearness happens and the Machiavellianness occurs if the lockage does not occur. sent7: if that the splaying immunogen happens and the splaying smothered does not occur is not false the communicating vasoconstriction does not occur. sent8: that the gouging does not occur is prevented by that the illness occurs. sent9: the splaying smothered occurs if the fact that the spraying teratology does not occur and/or the communicating vasoconstriction occurs is incorrect. sent10: that the biblicalness does not occur and the spraying teratology does not occur does not hold if the communicating vasoconstriction does not occur. sent11: the illness and the communicating sphecoid occurs.
void -> assump1: Let's assume that the splaying immunogen happens.; assump1 & sent3 -> int1: the splaying immunogen occurs and the splaying smothered does not occur.; int1 & sent7 -> int2: the communicating vasoconstriction does not occur.; int2 & sent10 -> int3: that the fact that the biblicalness does not occur and the spraying teratology does not occur hold does not hold.; sent6 & sent2 -> int4: the interlinearness occurs and the Machiavellian occurs.; int4 -> int5: the interlinearness happens.; sent11 -> int6: the illness happens.; sent8 & int6 -> int7: the gouging occurs.;
that the gouge but not the splaying immunogen happens is false.
$hypothesis$ = the gouge happens but the splaying immunogen does not occur. ; $context$ = sent1: the communicating sphecoid does not occur if that the ctenoidness does not occur and the slogging does not occur is not false. sent2: the fact that the lockage occurs is not right. sent3: the splaying smothered does not occur. sent4: if the communicating sphecoid does not occur then the Machiavellianness occurs and the lockage does not occur. sent5: the fact that the gouging happens and the splaying immunogen does not occur is wrong if the splaying smothered occurs. sent6: the interlinearness happens and the Machiavellianness occurs if the lockage does not occur. sent7: if that the splaying immunogen happens and the splaying smothered does not occur is not false the communicating vasoconstriction does not occur. sent8: that the gouging does not occur is prevented by that the illness occurs. sent9: the splaying smothered occurs if the fact that the spraying teratology does not occur and/or the communicating vasoconstriction occurs is incorrect. sent10: that the biblicalness does not occur and the spraying teratology does not occur does not hold if the communicating vasoconstriction does not occur. sent11: the illness and the communicating sphecoid occurs. ; $proof$ = 
void -> assump1: Let's assume that the splaying immunogen happens.; assump1 & sent3 -> int1: the splaying immunogen occurs and the splaying smothered does not occur.; int1 & sent7 -> int2: the communicating vasoconstriction does not occur.; int2 & sent10 -> int3: that the fact that the biblicalness does not occur and the spraying teratology does not occur hold does not hold.; sent6 & sent2 -> int4: the interlinearness occurs and the Machiavellian occurs.; int4 -> int5: the interlinearness happens.; sent11 -> int6: the illness happens.; sent8 & int6 -> int7: the gouging occurs.; __UNKNOWN__