if the gyrating occurs then both the tenderization and the non-fenestralness occurs.
sent1: that the testifying deadeye does not occur brings about the assuming Gainsborough. sent2: if the altitudinalness does not occur then the assuming Mercury and the non-sartorialness occurs. sent3: the mudslide does not occur if the non-extragalacticness and the non-algometricness occurs. sent4: if the riot happens that the extragalacticness does not occur and the algometricness does not occur is not false. sent5: the unquestionableness but not the sinker occurs. sent6: that the assuming verdin does not occur results in the non-sartorialness. sent7: the surprise does not occur. sent8: the non-algometricness brings about that the semifinal occurs and the gyrating occurs. sent9: the tenderization happens and the fenestralness does not occur if that the mudslide does not occur hold. sent10: the witch-hunt does not occur. sent11: that the octalness occurs triggers that the assuming unitization does not occur. sent12: that the gyrating does not occur is triggered by that the lawfulness happens and the behalf happens. sent13: if the conglomeration happens and the assuming Bruneian happens then the earth does not occur. sent14: if the liberal occurs that the christianness happens but the hyphenation does not occur hold. sent15: the driftage but not the heeding happens if that the assuming Steele does not occur hold.
void -> assump1: Let's assume that the gyrating happens.;
both the semifinal and the grassfire occurs.
$hypothesis$ = if the gyrating occurs then both the tenderization and the non-fenestralness occurs. ; $context$ = sent1: that the testifying deadeye does not occur brings about the assuming Gainsborough. sent2: if the altitudinalness does not occur then the assuming Mercury and the non-sartorialness occurs. sent3: the mudslide does not occur if the non-extragalacticness and the non-algometricness occurs. sent4: if the riot happens that the extragalacticness does not occur and the algometricness does not occur is not false. sent5: the unquestionableness but not the sinker occurs. sent6: that the assuming verdin does not occur results in the non-sartorialness. sent7: the surprise does not occur. sent8: the non-algometricness brings about that the semifinal occurs and the gyrating occurs. sent9: the tenderization happens and the fenestralness does not occur if that the mudslide does not occur hold. sent10: the witch-hunt does not occur. sent11: that the octalness occurs triggers that the assuming unitization does not occur. sent12: that the gyrating does not occur is triggered by that the lawfulness happens and the behalf happens. sent13: if the conglomeration happens and the assuming Bruneian happens then the earth does not occur. sent14: if the liberal occurs that the christianness happens but the hyphenation does not occur hold. sent15: the driftage but not the heeding happens if that the assuming Steele does not occur hold. ; $proof$ = 
void -> assump1: Let's assume that the gyrating happens.; __UNKNOWN__