the hurtling babirusa occurs.
sent1: the fact that the hurtling babirusa does not occur hold if that either the attributiveness happens or the deportation does not occur or both is incorrect. sent2: the pyloricness happens if the typeset does not occur. sent3: the fracturing happens. sent4: the attributiveness happens. sent5: the parodying inactiveness occurs and the take-up does not occur if the deportation does not occur. sent6: that the eviction happens leads to that the troll does not occur and/or the Alpinism happens. sent7: that the attributiveness happens or the deportation does not occur or both does not hold if the take-up occurs. sent8: if the eviction does not occur the hurtling babirusa happens. sent9: the pedunculateness does not occur if that the attributiveness occurs and/or the deportation does not occur does not hold. sent10: if the unawaresness but not the equilibration occurs the attributiveness does not occur. sent11: that the synchronization does not occur triggers that not the denaturalizing Eglevsky but the eviction occurs. sent12: the troll happens and the Alpinism happens. sent13: that the eviction does not occur is triggered by that both the parodying inactiveness and the troll occurs.
void -> assump1: Let's assume that the deportation happens.; sent12 -> int1: the troll happens.;
the pedunculateness does not occur.
$hypothesis$ = the hurtling babirusa occurs. ; $context$ = sent1: the fact that the hurtling babirusa does not occur hold if that either the attributiveness happens or the deportation does not occur or both is incorrect. sent2: the pyloricness happens if the typeset does not occur. sent3: the fracturing happens. sent4: the attributiveness happens. sent5: the parodying inactiveness occurs and the take-up does not occur if the deportation does not occur. sent6: that the eviction happens leads to that the troll does not occur and/or the Alpinism happens. sent7: that the attributiveness happens or the deportation does not occur or both does not hold if the take-up occurs. sent8: if the eviction does not occur the hurtling babirusa happens. sent9: the pedunculateness does not occur if that the attributiveness occurs and/or the deportation does not occur does not hold. sent10: if the unawaresness but not the equilibration occurs the attributiveness does not occur. sent11: that the synchronization does not occur triggers that not the denaturalizing Eglevsky but the eviction occurs. sent12: the troll happens and the Alpinism happens. sent13: that the eviction does not occur is triggered by that both the parodying inactiveness and the troll occurs. ; $proof$ = 
void -> assump1: Let's assume that the deportation happens.; sent12 -> int1: the troll happens.; __UNKNOWN__