that the bimillenialness does not occur and the dichromaticness occurs hold if the auctioning occurs.
sent1: the bimillenialness occurs and the dichromaticness occurs. sent2: the barking Zoroastrianism does not occur if the wideness does not occur. sent3: if the beginning happens then the connivance does not occur. sent4: both the barking Zoroastrianism and the tearlessness happens if the pyemicness does not occur. sent5: the dichromaticness occurs if the auction occurs. sent6: the unchasteness does not occur if the beginning happens but the auctioning does not occur. sent7: that the wideness happens is prevented by that not the beginning but the auctioning happens. sent8: that the connivance does not occur causes that the bimillenialness does not occur but the dichromaticness occurs.
void -> assump2: Let's assume that the beginning does not occur.; void -> assump1: Let's assume that the auctioning occurs.; assump2 & assump1 -> int1: the beginning does not occur but the auctioning occurs.; int1 & sent7 -> int2: the fact that the wideness does not occur is right.; int2 & sent2 -> int3: the barking Zoroastrianism does not occur.;
the unchasteness does not occur.
$hypothesis$ = that the bimillenialness does not occur and the dichromaticness occurs hold if the auctioning occurs. ; $context$ = sent1: the bimillenialness occurs and the dichromaticness occurs. sent2: the barking Zoroastrianism does not occur if the wideness does not occur. sent3: if the beginning happens then the connivance does not occur. sent4: both the barking Zoroastrianism and the tearlessness happens if the pyemicness does not occur. sent5: the dichromaticness occurs if the auction occurs. sent6: the unchasteness does not occur if the beginning happens but the auctioning does not occur. sent7: that the wideness happens is prevented by that not the beginning but the auctioning happens. sent8: that the connivance does not occur causes that the bimillenialness does not occur but the dichromaticness occurs. ; $proof$ = 
void -> assump2: Let's assume that the beginning does not occur.; void -> assump1: Let's assume that the auctioning occurs.; assump2 & assump1 -> int1: the beginning does not occur but the auctioning occurs.; int1 & sent7 -> int2: the fact that the wideness does not occur is right.; int2 & sent2 -> int3: the barking Zoroastrianism does not occur.; __UNKNOWN__