if the quadrangularness happens then the Britishness does not occur.
sent1: the awfulness does not occur. sent2: the immortalness happens. sent3: the orthopedicsness does not occur. sent4: the vegetativeness does not occur. sent5: the Britishness happens. sent6: if the jellifying chincapin occurs the sibilation happens. sent7: the Britishness is prevented by that both the elementariness and the quadrangularness happens. sent8: if not the exceeding mystique but the inspiration occurs the elementariness occurs. sent9: the Zionistness happens if the exceeding mystique occurs. sent10: the lexicalness does not occur. sent11: the Zionistness happens and the jellifying Rappahannock does not occur if the exceeding mystique occurs. sent12: the fact that the Zionist occurs and the jellifying Rappahannock does not occur is not right if the lay-up happens. sent13: that the inspiration occurs but the lexicalness does not occur is triggered by that the orthopedicsness does not occur.
void -> assump1: Let's assume that the exceeding mystique occurs.; sent11 & assump1 -> int1: the Zionist occurs and the jellifying Rappahannock does not occur.; sent13 & sent3 -> int2: the inspiration but not the lexicalness happens.; int2 -> int3: the inspiration happens.;
$hypothesis$ = if the quadrangularness happens then the Britishness does not occur. ; $context$ = sent1: the awfulness does not occur. sent2: the immortalness happens. sent3: the orthopedicsness does not occur. sent4: the vegetativeness does not occur. sent5: the Britishness happens. sent6: if the jellifying chincapin occurs the sibilation happens. sent7: the Britishness is prevented by that both the elementariness and the quadrangularness happens. sent8: if not the exceeding mystique but the inspiration occurs the elementariness occurs. sent9: the Zionistness happens if the exceeding mystique occurs. sent10: the lexicalness does not occur. sent11: the Zionistness happens and the jellifying Rappahannock does not occur if the exceeding mystique occurs. sent12: the fact that the Zionist occurs and the jellifying Rappahannock does not occur is not right if the lay-up happens. sent13: that the inspiration occurs but the lexicalness does not occur is triggered by that the orthopedicsness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the exceeding mystique occurs.; sent11 & assump1 -> int1: the Zionist occurs and the jellifying Rappahannock does not occur.; sent13 & sent3 -> int2: the inspiration but not the lexicalness happens.; int2 -> int3: the inspiration happens.; __UNKNOWN__