the straddle happens.
sent1: the fact that the non-priestliness and the non-playableness happens is not right. sent2: the straddling does not occur if the fact that the occidentalizing halophyte happens and the straddling happens does not hold. sent3: that that the soldiering but not the question occurs is not correct is correct if that the hostilities does not occur is correct. sent4: that the non-on-lineness leads to the redistribution or that the centigradeness happens or both hold. sent5: the imprisonment happens. sent6: that that the occidentalizing snowcap does not occur and the bicapsularness does not occur does not hold is correct. sent7: the titillation happens. sent8: the occidentalizing halophyte happens. sent9: the on-lineness does not occur if the fact that the soldiering but not the questioning happens is false. sent10: the patterning occurs. sent11: the commodiousness occurs. sent12: that both the occidentalizing halophyte and the straddling happens is false if the secretoriness does not occur. sent13: the hostilities does not occur if the repositing bellbird does not occur and the horripilating vandal does not occur. sent14: that the redistribution happens causes the straddle. sent15: the pattern happens if the occidentalizing swell occurs. sent16: if that the secretoriness does not occur and the occidentalizing halophyte does not occur is not right the centigradeness happens. sent17: if the secretoriness happens the centigradeness happens. sent18: the repositing windburn results in that the stump happens.
void -> assump1: Let's assume that the secretoriness does not occur and the occidentalizing halophyte does not occur.; assump1 -> int1: the fact that the occidentalizing halophyte does not occur hold.; sent8 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the secretoriness does not occur and the occidentalizing halophyte does not occur is wrong.; sent16 & int3 -> int4: the centigradeness happens.;
the straddling does not occur.
$hypothesis$ = the straddle happens. ; $context$ = sent1: the fact that the non-priestliness and the non-playableness happens is not right. sent2: the straddling does not occur if the fact that the occidentalizing halophyte happens and the straddling happens does not hold. sent3: that that the soldiering but not the question occurs is not correct is correct if that the hostilities does not occur is correct. sent4: that the non-on-lineness leads to the redistribution or that the centigradeness happens or both hold. sent5: the imprisonment happens. sent6: that that the occidentalizing snowcap does not occur and the bicapsularness does not occur does not hold is correct. sent7: the titillation happens. sent8: the occidentalizing halophyte happens. sent9: the on-lineness does not occur if the fact that the soldiering but not the questioning happens is false. sent10: the patterning occurs. sent11: the commodiousness occurs. sent12: that both the occidentalizing halophyte and the straddling happens is false if the secretoriness does not occur. sent13: the hostilities does not occur if the repositing bellbird does not occur and the horripilating vandal does not occur. sent14: that the redistribution happens causes the straddle. sent15: the pattern happens if the occidentalizing swell occurs. sent16: if that the secretoriness does not occur and the occidentalizing halophyte does not occur is not right the centigradeness happens. sent17: if the secretoriness happens the centigradeness happens. sent18: the repositing windburn results in that the stump happens. ; $proof$ = 
void -> assump1: Let's assume that the secretoriness does not occur and the occidentalizing halophyte does not occur.; assump1 -> int1: the fact that the occidentalizing halophyte does not occur hold.; sent8 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the secretoriness does not occur and the occidentalizing halophyte does not occur is wrong.; sent16 & int3 -> int4: the centigradeness happens.; __UNKNOWN__