the enthusing does not occur.
sent1: if the fact that the sobering does not occur hold the stoloniferousness or the non-superjacentness or both happens. sent2: that the stoloniferousness happens and/or the non-superjacentness prevents that the stoloniferousness does not occur. sent3: if the abrogation happens the beef happens. sent4: the remonstrating abstainer happens. sent5: if the beef and the stoloniferousness occurs the enthusing does not occur. sent6: the abrogation happens if the remonstrating abstainer occurs.
sent6 & sent4 -> int1: the abrogation occurs.; int1 & sent3 -> int2: the beef occurs.;
$hypothesis$ = the enthusing does not occur. ; $context$ = sent1: if the fact that the sobering does not occur hold the stoloniferousness or the non-superjacentness or both happens. sent2: that the stoloniferousness happens and/or the non-superjacentness prevents that the stoloniferousness does not occur. sent3: if the abrogation happens the beef happens. sent4: the remonstrating abstainer happens. sent5: if the beef and the stoloniferousness occurs the enthusing does not occur. sent6: the abrogation happens if the remonstrating abstainer occurs. ; $proof$ = 
sent6 & sent4 -> int1: the abrogation occurs.; int1 & sent3 -> int2: the beef occurs.; __UNKNOWN__