the molding ununpentium prevents that the ordering does not occur.
sent1: if the outselling staggerbush does not occur and the molding ununpentium does not occur the ordering happens. sent2: the fact that the devoicing tauon does not occur and the Zionist does not occur is not right. sent3: the non-apianness and the job happens. sent4: the outselling staggerbush does not occur.
void -> assump2: Let's assume that the outselling staggerbush does not occur and the molding ununpentium does not occur.; assump2 -> int1: the molding ununpentium does not occur.; void -> assump1: Let's assume that the molding ununpentium happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the outselling staggerbush does not occur and the molding ununpentium does not occur is false.;
$hypothesis$ = the molding ununpentium prevents that the ordering does not occur. ; $context$ = sent1: if the outselling staggerbush does not occur and the molding ununpentium does not occur the ordering happens. sent2: the fact that the devoicing tauon does not occur and the Zionist does not occur is not right. sent3: the non-apianness and the job happens. sent4: the outselling staggerbush does not occur. ; $proof$ = 
void -> assump2: Let's assume that the outselling staggerbush does not occur and the molding ununpentium does not occur.; assump2 -> int1: the molding ununpentium does not occur.; void -> assump1: Let's assume that the molding ununpentium happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the outselling staggerbush does not occur and the molding ununpentium does not occur is false.; __UNKNOWN__