that the enforcement does not occur and the freckling geyser does not occur is not true if the freckling aneurysm happens.
sent1: that the enforcement does not occur and the freckling geyser does not occur results in that the rigging defoliator happens. sent2: that the cuisine occurs is true.
void -> assump2: Let's assume that the freckling aneurysm happens.; void -> assump1: Let's assume that the enforcement does not occur and the freckling geyser does not occur.; sent1 & assump1 -> int1: the rigging defoliator occurs.; int1 -> int2: the rigging defoliator and/or the polyvalentness happens.;
$hypothesis$ = that the enforcement does not occur and the freckling geyser does not occur is not true if the freckling aneurysm happens. ; $context$ = sent1: that the enforcement does not occur and the freckling geyser does not occur results in that the rigging defoliator happens. sent2: that the cuisine occurs is true. ; $proof$ = 
void -> assump2: Let's assume that the freckling aneurysm happens.; void -> assump1: Let's assume that the enforcement does not occur and the freckling geyser does not occur.; sent1 & assump1 -> int1: the rigging defoliator occurs.; int1 -> int2: the rigging defoliator and/or the polyvalentness happens.; __UNKNOWN__