the womanliness occurs if the Chaldeanness occurs.
sent1: the tuition occurs. sent2: the fact that the vexing Bordeaux occurs and the working Tallchief occurs hold. sent3: the translating occurs. sent4: that the womanliness happens is caused by that both the non-audibleness and the impersonating occurs. sent5: if not the pleaching Seriphus but the percussion occurs then the episiotomy happens. sent6: the pneumaticsness happens. sent7: both the applying and the groundwork happens. sent8: the fact that the belling occurs is correct if the pneumaticsness does not occur and/or the Chaldean does not occur. sent9: the impersonating happens. sent10: not the outreach but the bunfight occurs. sent11: that the pneumaticsness and the Chaldeanness occurs leads to that the audibleness does not occur. sent12: if the backgammon does not occur then the womanliness does not occur. sent13: the vexing miniaturist occurs if the working Kuwait does not occur and the cuckoldry happens.
void -> assump1: Let's assume that the Chaldeanness happens.; sent6 & assump1 -> int1: both the pneumaticsness and the Chaldeanness happens.; int1 & sent11 -> int2: the audibleness does not occur.; int2 & sent9 -> int3: both the non-audibleness and the impersonating happens.; int3 & sent4 -> int4: the womanliness occurs.; [assump1] & int4 -> hypothesis;
the bell happens.
$hypothesis$ = the womanliness occurs if the Chaldeanness occurs. ; $context$ = sent1: the tuition occurs. sent2: the fact that the vexing Bordeaux occurs and the working Tallchief occurs hold. sent3: the translating occurs. sent4: that the womanliness happens is caused by that both the non-audibleness and the impersonating occurs. sent5: if not the pleaching Seriphus but the percussion occurs then the episiotomy happens. sent6: the pneumaticsness happens. sent7: both the applying and the groundwork happens. sent8: the fact that the belling occurs is correct if the pneumaticsness does not occur and/or the Chaldean does not occur. sent9: the impersonating happens. sent10: not the outreach but the bunfight occurs. sent11: that the pneumaticsness and the Chaldeanness occurs leads to that the audibleness does not occur. sent12: if the backgammon does not occur then the womanliness does not occur. sent13: the vexing miniaturist occurs if the working Kuwait does not occur and the cuckoldry happens. ; $proof$ = 
void -> assump1: Let's assume that the Chaldeanness happens.; sent6 & assump1 -> int1: both the pneumaticsness and the Chaldeanness happens.; int1 & sent11 -> int2: the audibleness does not occur.; int2 & sent9 -> int3: both the non-audibleness and the impersonating happens.; int3 & sent4 -> int4: the womanliness occurs.; [assump1] & int4 -> hypothesis; __PROVED__