the fact that the aggregating Coregonus happens is true if the emceeing happens.
sent1: if the overprotecting occurs the fact that the exasperation occurs hold. sent2: the aggregating Coregonus occurs if the exasperation occurs. sent3: the downspin happens if the overprotecting occurs. sent4: if that the fact that the overprotecting does not occur and the emceeing does not occur is not incorrect does not hold the exasperation happens.
void -> assump1: Let's assume that the emceeing occurs.; void -> assump2: Let's assume that the overprotecting does not occur and the emceeing does not occur.; assump2 -> int1: the emceeing does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the overprotecting does not occur and the emcee does not occur is false.; sent4 & int3 -> int4: the exasperation occurs.; sent2 & int4 -> int5: the aggregating Coregonus happens.; [assump1] & int5 -> hypothesis;
the downspin occurs.
$hypothesis$ = the fact that the aggregating Coregonus happens is true if the emceeing happens. ; $context$ = sent1: if the overprotecting occurs the fact that the exasperation occurs hold. sent2: the aggregating Coregonus occurs if the exasperation occurs. sent3: the downspin happens if the overprotecting occurs. sent4: if that the fact that the overprotecting does not occur and the emceeing does not occur is not incorrect does not hold the exasperation happens. ; $proof$ = 
void -> assump1: Let's assume that the emceeing occurs.; void -> assump2: Let's assume that the overprotecting does not occur and the emceeing does not occur.; assump2 -> int1: the emceeing does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the overprotecting does not occur and the emcee does not occur is false.; sent4 & int3 -> int4: the exasperation occurs.; sent2 & int4 -> int5: the aggregating Coregonus happens.; [assump1] & int5 -> hypothesis; __PROVED__