the disrupting occurs.
sent1: if the fettering executant occurs the fact that the banning pepperwort does not occur and/or the avarice does not occur does not hold. sent2: the disrupting does not occur if that the unintrusiveness happens and the disrupting occurs is not right. sent3: the unintrusiveness occurs or the suborning sabbatia occurs or both. sent4: if the fact that either the banning pepperwort does not occur or the avarice does not occur or both does not hold then the purgatorialness does not occur. sent5: if the fact that the lobbing Demogorgon does not occur is correct the suborning Gerea does not occur and the banning deuterium does not occur. sent6: if the suborning Gerea does not occur and the banning deuterium does not occur then the fettering Housman does not occur. sent7: if the intercostalness does not occur the lobbing Demogorgon does not occur. sent8: the intercostalness does not occur. sent9: if the autotypicness occurs then the Haitian occurs. sent10: the shock happens if the suborning sabbatia occurs. sent11: the disrupting does not occur if the fettering Housman does not occur and the purgatorialness does not occur. sent12: the fettering executant happens if the banning soutane happens. sent13: if the unintrusiveness occurs then that the shock happens is right. sent14: if the shock happens the disrupting occurs.
sent3 & sent13 & sent10 -> int1: the shock occurs.; int1 & sent14 -> hypothesis;
the Aboriginalness happens.
sent7 & sent8 -> int2: the fact that the lobbing Demogorgon does not occur hold.; sent5 & int2 -> int3: the suborning Gerea does not occur and the banning deuterium does not occur.; sent6 & int3 -> int4: the fettering Housman does not occur.;
$hypothesis$ = the disrupting occurs. ; $context$ = sent1: if the fettering executant occurs the fact that the banning pepperwort does not occur and/or the avarice does not occur does not hold. sent2: the disrupting does not occur if that the unintrusiveness happens and the disrupting occurs is not right. sent3: the unintrusiveness occurs or the suborning sabbatia occurs or both. sent4: if the fact that either the banning pepperwort does not occur or the avarice does not occur or both does not hold then the purgatorialness does not occur. sent5: if the fact that the lobbing Demogorgon does not occur is correct the suborning Gerea does not occur and the banning deuterium does not occur. sent6: if the suborning Gerea does not occur and the banning deuterium does not occur then the fettering Housman does not occur. sent7: if the intercostalness does not occur the lobbing Demogorgon does not occur. sent8: the intercostalness does not occur. sent9: if the autotypicness occurs then the Haitian occurs. sent10: the shock happens if the suborning sabbatia occurs. sent11: the disrupting does not occur if the fettering Housman does not occur and the purgatorialness does not occur. sent12: the fettering executant happens if the banning soutane happens. sent13: if the unintrusiveness occurs then that the shock happens is right. sent14: if the shock happens the disrupting occurs. ; $proof$ = 
sent3 & sent13 & sent10 -> int1: the shock occurs.; int1 & sent14 -> hypothesis; __PROVED__