the epilithicness does not occur if the despairing strictness occurs.
sent1: the epilithicness occurs. sent2: that the despairing tribologist occurs and the esophagealness happens is caused by that the carpetbag does not occur. sent3: that the trailing and the cambialness happens causes that the sanitariness does not occur. sent4: the non-epilithicness is prevented by that the despairing mastic happens and the despairing strictness happens. sent5: if the despairing celecoxib does not occur then the non-carpetbagness and the non-eudemonicness happens. sent6: both the cohering and the biosystematicness happens. sent7: the epilithicness occurs if the despairing strictness occurs. sent8: the depending occurs if the fact that the speakership but not the depending happens is not right. sent9: that the despairing tribologist happens brings about that the epilithicness happens. sent10: the backspin occurs. sent11: the surgicalness happens and the despairing mastic occurs if the backspin does not occur. sent12: the snarling does not occur. sent13: the habiting orangewood does not occur if the despairing buskin occurs. sent14: the despairing mastic and the backspin occurs. sent15: that the fact that the speakership occurs but the depending does not occur is not right hold. sent16: the laughter and the pollination occurs.
sent14 -> int1: the despairing mastic occurs.; void -> assump1: Let's assume that the despairing strictness occurs.; int1 & assump1 -> int2: the despairing mastic and the despairing strictness occurs.;
the depending and the surgicalness occurs.
sent8 & sent15 -> int3: the depending occurs.;
$hypothesis$ = the epilithicness does not occur if the despairing strictness occurs. ; $context$ = sent1: the epilithicness occurs. sent2: that the despairing tribologist occurs and the esophagealness happens is caused by that the carpetbag does not occur. sent3: that the trailing and the cambialness happens causes that the sanitariness does not occur. sent4: the non-epilithicness is prevented by that the despairing mastic happens and the despairing strictness happens. sent5: if the despairing celecoxib does not occur then the non-carpetbagness and the non-eudemonicness happens. sent6: both the cohering and the biosystematicness happens. sent7: the epilithicness occurs if the despairing strictness occurs. sent8: the depending occurs if the fact that the speakership but not the depending happens is not right. sent9: that the despairing tribologist happens brings about that the epilithicness happens. sent10: the backspin occurs. sent11: the surgicalness happens and the despairing mastic occurs if the backspin does not occur. sent12: the snarling does not occur. sent13: the habiting orangewood does not occur if the despairing buskin occurs. sent14: the despairing mastic and the backspin occurs. sent15: that the fact that the speakership occurs but the depending does not occur is not right hold. sent16: the laughter and the pollination occurs. ; $proof$ = 
sent14 -> int1: the despairing mastic occurs.; void -> assump1: Let's assume that the despairing strictness occurs.; int1 & assump1 -> int2: the despairing mastic and the despairing strictness occurs.; __UNKNOWN__