the filling enterprise occurs.
sent1: the palpebrateness happens. sent2: the non-leaningness is prevented by that the motoring happens. sent3: the filling Lublin does not occur if the disruption occurs. sent4: that the gravure does not occur results in either that the junketing occurs or that the benzylicness does not occur or both. sent5: if the wideness happens then the accrediting Anhingidae happens. sent6: if the accrediting Anhingidae happens but the wideness does not occur the commonsness does not occur. sent7: if the commonsness does not occur the accrediting Anhingidae happens. sent8: the leaningness prevents that the filling enterprise does not occur. sent9: if the assignment occurs then the frying happens. sent10: if the signalizing and/or the disruption occurs then the filling Lublin does not occur. sent11: if the disruption occurs then the signalizing but not the filling enterprise happens. sent12: the fact that the motoring occurs is not false if the accrediting Anhingidae occurs. sent13: the signalizing occurs.
sent13 -> int1: the signalizing occurs or the disruption happens or both.; sent10 & int1 -> int2: the filling Lublin does not occur.;
the filling enterprise does not occur.
$hypothesis$ = the filling enterprise occurs. ; $context$ = sent1: the palpebrateness happens. sent2: the non-leaningness is prevented by that the motoring happens. sent3: the filling Lublin does not occur if the disruption occurs. sent4: that the gravure does not occur results in either that the junketing occurs or that the benzylicness does not occur or both. sent5: if the wideness happens then the accrediting Anhingidae happens. sent6: if the accrediting Anhingidae happens but the wideness does not occur the commonsness does not occur. sent7: if the commonsness does not occur the accrediting Anhingidae happens. sent8: the leaningness prevents that the filling enterprise does not occur. sent9: if the assignment occurs then the frying happens. sent10: if the signalizing and/or the disruption occurs then the filling Lublin does not occur. sent11: if the disruption occurs then the signalizing but not the filling enterprise happens. sent12: the fact that the motoring occurs is not false if the accrediting Anhingidae occurs. sent13: the signalizing occurs. ; $proof$ = 
sent13 -> int1: the signalizing occurs or the disruption happens or both.; sent10 & int1 -> int2: the filling Lublin does not occur.; __UNKNOWN__