the immeasurableness and the vetoing occurs.
sent1: that the scorcher does not occur is triggered by that the concerning autoradiography does not occur. sent2: if the immeasurableness does not occur then that the scorcher does not occur and the veto happens is not correct. sent3: if the scorcher does not occur then the fact that the immeasurableness happens and the vetoing happens does not hold. sent4: the concerning tarpaulin does not occur. sent5: that the expensing descriptor happens and the expensing Quercus happens is triggered by that the expensing hyperpigmentation does not occur. sent6: if the fact that not the scorcher but the vetoing occurs is not true the fact that the concerning Catharanthus happens hold. sent7: the orthographicness does not occur if the fact that the orthographicness happens and the expensing descriptor occurs does not hold. sent8: if the orthographicness does not occur then the balk does not occur and/or the concerning toad-in-the-hole does not occur. sent9: if the balk does not occur then that the non-immeasurableness and the concerning autoradiography occurs is correct. sent10: if the balk does not occur and/or the concerning toad-in-the-hole does not occur the concerning autoradiography does not occur. sent11: that the expensing hyperpigmentation does not occur but the stoppableness occurs is triggered by that the expensing offerer occurs. sent12: if the concerning tarpaulin does not occur the expensing offerer occurs and the champerty happens. sent13: both the concerning autoradiography and the immeasurableness occurs. sent14: the fact that the orthographicness happens and the expensing descriptor occurs is not true if the expensing Quercus does not occur. sent15: if the scorcher occurs then the vetoing occurs. sent16: the orthographicness happens if the expensing Quercus happens.
sent13 -> int1: the immeasurableness happens.;
the concerning Catharanthus happens.
sent12 & sent4 -> int2: both the expensing offerer and the champerty occurs.; int2 -> int3: the expensing offerer happens.; sent11 & int3 -> int4: the expensing hyperpigmentation does not occur but the stoppableness occurs.; int4 -> int5: the expensing hyperpigmentation does not occur.; sent5 & int5 -> int6: the expensing descriptor and the expensing Quercus occurs.; int6 -> int7: the expensing Quercus happens.; sent16 & int7 -> int8: the orthographicness occurs.;
$hypothesis$ = the immeasurableness and the vetoing occurs. ; $context$ = sent1: that the scorcher does not occur is triggered by that the concerning autoradiography does not occur. sent2: if the immeasurableness does not occur then that the scorcher does not occur and the veto happens is not correct. sent3: if the scorcher does not occur then the fact that the immeasurableness happens and the vetoing happens does not hold. sent4: the concerning tarpaulin does not occur. sent5: that the expensing descriptor happens and the expensing Quercus happens is triggered by that the expensing hyperpigmentation does not occur. sent6: if the fact that not the scorcher but the vetoing occurs is not true the fact that the concerning Catharanthus happens hold. sent7: the orthographicness does not occur if the fact that the orthographicness happens and the expensing descriptor occurs does not hold. sent8: if the orthographicness does not occur then the balk does not occur and/or the concerning toad-in-the-hole does not occur. sent9: if the balk does not occur then that the non-immeasurableness and the concerning autoradiography occurs is correct. sent10: if the balk does not occur and/or the concerning toad-in-the-hole does not occur the concerning autoradiography does not occur. sent11: that the expensing hyperpigmentation does not occur but the stoppableness occurs is triggered by that the expensing offerer occurs. sent12: if the concerning tarpaulin does not occur the expensing offerer occurs and the champerty happens. sent13: both the concerning autoradiography and the immeasurableness occurs. sent14: the fact that the orthographicness happens and the expensing descriptor occurs is not true if the expensing Quercus does not occur. sent15: if the scorcher occurs then the vetoing occurs. sent16: the orthographicness happens if the expensing Quercus happens. ; $proof$ = 
sent13 -> int1: the immeasurableness happens.; __UNKNOWN__