the fact that the piquing cress happens hold.
sent1: if the fact that the affusion does not occur and the undertaking occurs is wrong then the piquing cress happens. sent2: if that that the popularization does not occur and the frisking blot does not occur hold is incorrect then the frisking blot happens. sent3: that the popularization does not occur and the frisking blot does not occur is not correct. sent4: that both the affusion and the undertaking occurs is not right.
void -> assump1: Let's assume that not the affusion but the undertaking happens.; sent2 & sent3 -> int1: the frisking blot happens.;
$hypothesis$ = the fact that the piquing cress happens hold. ; $context$ = sent1: if the fact that the affusion does not occur and the undertaking occurs is wrong then the piquing cress happens. sent2: if that that the popularization does not occur and the frisking blot does not occur hold is incorrect then the frisking blot happens. sent3: that the popularization does not occur and the frisking blot does not occur is not correct. sent4: that both the affusion and the undertaking occurs is not right. ; $proof$ = 
void -> assump1: Let's assume that not the affusion but the undertaking happens.; sent2 & sent3 -> int1: the frisking blot happens.; __UNKNOWN__