that the encouraging happens triggers that the impressionist does not occur.
sent1: if the waxing does not occur the impressionistness occurs. sent2: the gouging occurs. sent3: if the waxing does not occur the impressionistness does not occur. sent4: the non-spousalness prevents the bombing. sent5: if the gouge happens and the encouraging happens then the waxing does not occur. sent6: if the encouraging happens then the impressionist occurs. sent7: the fractionation does not occur if the assent does not occur. sent8: the impressionist occurs.
void -> assump1: Let's assume that that the encouraging occurs is true.; sent2 & assump1 -> int1: both the gouge and the encouraging occurs.; sent5 & int1 -> int2: the waxing does not occur.; sent3 & int2 -> int3: the impressionist does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the encouraging happens triggers that the impressionist does not occur. ; $context$ = sent1: if the waxing does not occur the impressionistness occurs. sent2: the gouging occurs. sent3: if the waxing does not occur the impressionistness does not occur. sent4: the non-spousalness prevents the bombing. sent5: if the gouge happens and the encouraging happens then the waxing does not occur. sent6: if the encouraging happens then the impressionist occurs. sent7: the fractionation does not occur if the assent does not occur. sent8: the impressionist occurs. ; $proof$ = 
void -> assump1: Let's assume that that the encouraging occurs is true.; sent2 & assump1 -> int1: both the gouge and the encouraging occurs.; sent5 & int1 -> int2: the waxing does not occur.; sent3 & int2 -> int3: the impressionist does not occur.; [assump1] & int3 -> hypothesis; __PROVED__