if the train does not occur then the aquiculturalness does not occur.
sent1: if the guardianship does not occur then the fact that not the lawsuit but the domesticating occurs is incorrect. sent2: the fact that the aquiculturalness occurs hold if the fact that the subordination does not occur and the guardianship does not occur does not hold. sent3: the aquiculturalness is prevented by that the subordination occurs. sent4: the aquiculturalness does not occur if that the subordination does not occur and the guardianship does not occur is not correct. sent5: that the lawsuit occurs and the domesticating occurs does not hold if the guardianship does not occur. sent6: that the train occurs hold if the fact that not the lawsuit but the domesticating happens is not right. sent7: the complecting Nereid does not occur and the glomming promotion does not occur.
void -> assump2: Let's assume that the subordination does not occur and the guardianship does not occur.; assump2 -> int1: the guardianship does not occur.; sent1 & int1 -> int2: that the lawsuit does not occur and the domesticating happens does not hold.; sent6 & int2 -> int3: the training occurs.; void -> assump1: Let's assume that the train does not occur.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the subordination does not occur and the guardianship does not occur does not hold.; sent4 & int5 -> int6: the aquiculturalness does not occur.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the train does not occur then the aquiculturalness does not occur. ; $context$ = sent1: if the guardianship does not occur then the fact that not the lawsuit but the domesticating occurs is incorrect. sent2: the fact that the aquiculturalness occurs hold if the fact that the subordination does not occur and the guardianship does not occur does not hold. sent3: the aquiculturalness is prevented by that the subordination occurs. sent4: the aquiculturalness does not occur if that the subordination does not occur and the guardianship does not occur is not correct. sent5: that the lawsuit occurs and the domesticating occurs does not hold if the guardianship does not occur. sent6: that the train occurs hold if the fact that not the lawsuit but the domesticating happens is not right. sent7: the complecting Nereid does not occur and the glomming promotion does not occur. ; $proof$ = 
void -> assump2: Let's assume that the subordination does not occur and the guardianship does not occur.; assump2 -> int1: the guardianship does not occur.; sent1 & int1 -> int2: that the lawsuit does not occur and the domesticating happens does not hold.; sent6 & int2 -> int3: the training occurs.; void -> assump1: Let's assume that the train does not occur.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the fact that the subordination does not occur and the guardianship does not occur does not hold.; sent4 & int5 -> int6: the aquiculturalness does not occur.; [assump1] & int6 -> hypothesis; __PROVED__