the pressing does not occur and the avocationalness does not occur.
sent1: the rising happens. sent2: both the chronicness and the minting preschool happens. sent3: that the rising happens is triggered by that the specialism does not occur. sent4: the minting simper occurs. sent5: if the minting courtesy does not occur the minting simper occurs. sent6: if the fact that the fumbling capacity does not occur and the minting epaulet does not occur does not hold then the significantness does not occur. sent7: the minting courtesy does not occur if the fact that the minting courtesy and the comprehensiveness happens is incorrect. sent8: that the minting courtesy occurs and the comprehensiveness happens does not hold. sent9: the avocationalness does not occur. sent10: the duplicity does not occur. sent11: the avocationalness prevents that the specialism happens. sent12: both the rise and the track happens if the specialism does not occur. sent13: the fact that the press does not occur and the avocationalness occurs is incorrect. sent14: both the minting simper and the minting hearth happens if the minting courtesy does not occur. sent15: that the minting hearth happens is prevented by that the belling occurs. sent16: that the fumbling edge does not occur is triggered by that not the specialism but the rise occurs. sent17: the minting hearth does not occur if the tracking happens or the bell happens or both.
void -> assump1: Let's assume that that the pressing does not occur and the avocationalness does not occur is false.; sent7 & sent8 -> int1: the minting courtesy does not occur.; sent14 & int1 -> int2: the minting simper happens and the minting hearth occurs.; int2 -> int3: the minting hearth happens.;
the fumbling edge does not occur.
$hypothesis$ = the pressing does not occur and the avocationalness does not occur. ; $context$ = sent1: the rising happens. sent2: both the chronicness and the minting preschool happens. sent3: that the rising happens is triggered by that the specialism does not occur. sent4: the minting simper occurs. sent5: if the minting courtesy does not occur the minting simper occurs. sent6: if the fact that the fumbling capacity does not occur and the minting epaulet does not occur does not hold then the significantness does not occur. sent7: the minting courtesy does not occur if the fact that the minting courtesy and the comprehensiveness happens is incorrect. sent8: that the minting courtesy occurs and the comprehensiveness happens does not hold. sent9: the avocationalness does not occur. sent10: the duplicity does not occur. sent11: the avocationalness prevents that the specialism happens. sent12: both the rise and the track happens if the specialism does not occur. sent13: the fact that the press does not occur and the avocationalness occurs is incorrect. sent14: both the minting simper and the minting hearth happens if the minting courtesy does not occur. sent15: that the minting hearth happens is prevented by that the belling occurs. sent16: that the fumbling edge does not occur is triggered by that not the specialism but the rise occurs. sent17: the minting hearth does not occur if the tracking happens or the bell happens or both. ; $proof$ = 
void -> assump1: Let's assume that that the pressing does not occur and the avocationalness does not occur is false.; sent7 & sent8 -> int1: the minting courtesy does not occur.; sent14 & int1 -> int2: the minting simper happens and the minting hearth occurs.; int2 -> int3: the minting hearth happens.; __UNKNOWN__