if the alligator does not occur both the insufflating boulder and the sensorimotorness happens.
sent1: that the sensorimotorness happens is prevented by that the SIGINT does not occur and the insufflating condescension does not occur. sent2: if that the insufflating croton happens and the SIGINT happens does not hold that the SIGINT does not occur hold. sent3: the insufflating boulder occurs if the alligatoring happens. sent4: if the fact that either the insufflating account occurs or the reheating satyr does not occur or both is incorrect the lust does not occur. sent5: the fact that both the insufflating croton and the SIGINT occurs is false if the lust does not occur. sent6: the sensorimotorness occurs. sent7: that the insufflating boulder happens and the sensorimotorness happens is caused by the alligator. sent8: that the alligatoring does not occur brings about that the insufflating boulder occurs. sent9: that the insufflating boulder does not occur and/or that the alligatoring does not occur is caused by that the sensorimotorness does not occur. sent10: that the insufflating account happens and/or the reheating satyr does not occur is incorrect.
void -> assump1: Let's assume that the alligator does not occur.; sent8 & assump1 -> int1: the insufflating boulder happens.; int1 & sent6 -> int2: the insufflating boulder and the sensorimotorness occurs.; [assump1] & int2 -> hypothesis;
the plantarness happens.
sent4 & sent10 -> int3: the lust does not occur.; sent5 & int3 -> int4: the fact that the insufflating croton and the SIGINT occurs does not hold.; sent2 & int4 -> int5: the SIGINT does not occur.;
$hypothesis$ = if the alligator does not occur both the insufflating boulder and the sensorimotorness happens. ; $context$ = sent1: that the sensorimotorness happens is prevented by that the SIGINT does not occur and the insufflating condescension does not occur. sent2: if that the insufflating croton happens and the SIGINT happens does not hold that the SIGINT does not occur hold. sent3: the insufflating boulder occurs if the alligatoring happens. sent4: if the fact that either the insufflating account occurs or the reheating satyr does not occur or both is incorrect the lust does not occur. sent5: the fact that both the insufflating croton and the SIGINT occurs is false if the lust does not occur. sent6: the sensorimotorness occurs. sent7: that the insufflating boulder happens and the sensorimotorness happens is caused by the alligator. sent8: that the alligatoring does not occur brings about that the insufflating boulder occurs. sent9: that the insufflating boulder does not occur and/or that the alligatoring does not occur is caused by that the sensorimotorness does not occur. sent10: that the insufflating account happens and/or the reheating satyr does not occur is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the alligator does not occur.; sent8 & assump1 -> int1: the insufflating boulder happens.; int1 & sent6 -> int2: the insufflating boulder and the sensorimotorness occurs.; [assump1] & int2 -> hypothesis; __PROVED__