the overprinting Vespula occurs or the alluvialness occurs or both.
sent1: the diluting happens if the calycularness does not occur. sent2: that the gastricness does not occur is prevented by that the lieutenancy does not occur. sent3: that the compliment happens and the overrunning tenrec occurs brings about that the muzzle does not occur. sent4: that the microelectronicness but not the working happens results in that the overprinting Vespula happens. sent5: the non-calycularness is brought about by that the Romanianness happens and the set-to happens. sent6: the diluting happens. sent7: the diluting and the microelectronicness occurs if the fact that the calycularness does not occur is not false. sent8: the Romanian and the set-to occurs. sent9: the Romanianness occurs. sent10: if the works occurs the fact that the fact that not the self-preservation but the gastricness occurs is not right is not false. sent11: the lieutenancy does not occur. sent12: the gastricness happens.
void -> assump1: Let's assume that the works occurs.; sent10 & assump1 -> int1: the fact that not the self-preservation but the gastricness occurs is not right.; sent5 & sent8 -> int2: the calycularness does not occur.; sent7 & int2 -> int3: both the diluting and the microelectronicness occurs.; int3 -> int4: the microelectronicness happens.;
that either the overprinting Vespula or the alluvialness or both occurs is not right.
 -> hypothesis;
$hypothesis$ = the overprinting Vespula occurs or the alluvialness occurs or both. ; $context$ = sent1: the diluting happens if the calycularness does not occur. sent2: that the gastricness does not occur is prevented by that the lieutenancy does not occur. sent3: that the compliment happens and the overrunning tenrec occurs brings about that the muzzle does not occur. sent4: that the microelectronicness but not the working happens results in that the overprinting Vespula happens. sent5: the non-calycularness is brought about by that the Romanianness happens and the set-to happens. sent6: the diluting happens. sent7: the diluting and the microelectronicness occurs if the fact that the calycularness does not occur is not false. sent8: the Romanian and the set-to occurs. sent9: the Romanianness occurs. sent10: if the works occurs the fact that the fact that not the self-preservation but the gastricness occurs is not right is not false. sent11: the lieutenancy does not occur. sent12: the gastricness happens. ; $proof$ = 
void -> assump1: Let's assume that the works occurs.; sent10 & assump1 -> int1: the fact that not the self-preservation but the gastricness occurs is not right.; sent5 & sent8 -> int2: the calycularness does not occur.; sent7 & int2 -> int3: both the diluting and the microelectronicness occurs.; int3 -> int4: the microelectronicness happens.; __UNKNOWN__