the falling does not occur.
sent1: if the hopper occurs then the adduction and the non-agraphicness occurs. sent2: that both the remonstrating mackinaw and the remonstrating diamine happens triggers that the fall does not occur. sent3: the fact that the agraphicness does not occur but the adduction happens is wrong. sent4: if that the womanliness occurs but the remonstrating sordidness does not occur does not hold then the sickness does not occur. sent5: the shape-up happens if the saltation occurs. sent6: that the sick does not occur causes that the hopper and the sewing happens. sent7: both the remonstrating mackinaw and the saltation occurs if the remonstrating diamine does not occur. sent8: if the fact that the agraphicness does not occur and the adduction does not occur is not true then the remonstrating diamine happens. sent9: if both the adduction and the non-agraphicness happens the remonstrating diamine does not occur. sent10: the saltation happens and the remonstrating mackinaw happens. sent11: the remonstrating subscriber does not occur.
sent10 -> int1: the remonstrating mackinaw occurs.;
the shape-up and the informativeness occurs.
$hypothesis$ = the falling does not occur. ; $context$ = sent1: if the hopper occurs then the adduction and the non-agraphicness occurs. sent2: that both the remonstrating mackinaw and the remonstrating diamine happens triggers that the fall does not occur. sent3: the fact that the agraphicness does not occur but the adduction happens is wrong. sent4: if that the womanliness occurs but the remonstrating sordidness does not occur does not hold then the sickness does not occur. sent5: the shape-up happens if the saltation occurs. sent6: that the sick does not occur causes that the hopper and the sewing happens. sent7: both the remonstrating mackinaw and the saltation occurs if the remonstrating diamine does not occur. sent8: if the fact that the agraphicness does not occur and the adduction does not occur is not true then the remonstrating diamine happens. sent9: if both the adduction and the non-agraphicness happens the remonstrating diamine does not occur. sent10: the saltation happens and the remonstrating mackinaw happens. sent11: the remonstrating subscriber does not occur. ; $proof$ = 
sent10 -> int1: the remonstrating mackinaw occurs.; __UNKNOWN__