that the enslavement occurs hold if the lodge happens.
sent1: that the enslavement does not occur is prevented by that both the non-aquiferousness and the lodge happens. sent2: the heterologousness does not occur if the incriminating exotoxin happens. sent3: that the incriminating exotoxin does not occur is prevented by the visitation. sent4: if that the unpaintableness happens hold then the incriminating exotoxin occurs. sent5: the assailing aftershock happens if the wobbling happens. sent6: the distortion does not occur. sent7: if the incriminating exotoxin occurs then the non-aquiferousness and the non-heterologousness happens. sent8: the unpaintableness and/or the visitation occurs. sent9: the heterologousness does not occur.
sent8 & sent4 & sent3 -> int1: the incriminating exotoxin occurs.; sent7 & int1 -> int2: both the non-aquiferousness and the non-heterologousness occurs.; int2 -> int3: the aquiferousness does not occur.; void -> assump1: Let's assume that the lodging occurs.; int3 & assump1 -> int4: both the non-aquiferousness and the lodge happens.; sent1 & int4 -> int5: the enslavement occurs.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the enslavement occurs hold if the lodge happens. ; $context$ = sent1: that the enslavement does not occur is prevented by that both the non-aquiferousness and the lodge happens. sent2: the heterologousness does not occur if the incriminating exotoxin happens. sent3: that the incriminating exotoxin does not occur is prevented by the visitation. sent4: if that the unpaintableness happens hold then the incriminating exotoxin occurs. sent5: the assailing aftershock happens if the wobbling happens. sent6: the distortion does not occur. sent7: if the incriminating exotoxin occurs then the non-aquiferousness and the non-heterologousness happens. sent8: the unpaintableness and/or the visitation occurs. sent9: the heterologousness does not occur. ; $proof$ = 
sent8 & sent4 & sent3 -> int1: the incriminating exotoxin occurs.; sent7 & int1 -> int2: both the non-aquiferousness and the non-heterologousness occurs.; int2 -> int3: the aquiferousness does not occur.; void -> assump1: Let's assume that the lodging occurs.; int3 & assump1 -> int4: both the non-aquiferousness and the lodge happens.; sent1 & int4 -> int5: the enslavement occurs.; [assump1] & int5 -> hypothesis; __PROVED__