the aspersion happens and the style occurs.
sent1: the prelude occurs. sent2: the insectivorousness does not occur if the fact that the insectivorousness and the positivistness happens does not hold. sent3: the framing happens and the aspersion occurs if the ecclesiasticism does not occur. sent4: if the fact that both the rigmarole and the renovation occurs is wrong then the rigmarole does not occur. sent5: both the prelude and the aspersion happens. sent6: that the latitudinalness does not occur and the convoying Doliolidae does not occur prevents that the ecclesiasticism happens. sent7: the algorithmicness does not occur and the styling does not occur if the rigmarole does not occur. sent8: the kickoff occurs. sent9: the non-insectivorousness leads to that the latitudinalness does not occur and the convoying Doliolidae does not occur. sent10: the Belgian happens. sent11: the ecclesiasticism occurs if the convoying Doliolidae occurs. sent12: if the preluding does not occur then the fact that the aspersion and the styling happens is not correct. sent13: the algorithmicness happens. sent14: that the styling does not occur yields that the idiolatry happens and the prelude happens. sent15: if the deference does not occur the fact that the insectivorousness and the positivistness occurs is incorrect.
sent5 -> int1: the aspersion occurs.;
both the idiolatry and the frame occurs.
$hypothesis$ = the aspersion happens and the style occurs. ; $context$ = sent1: the prelude occurs. sent2: the insectivorousness does not occur if the fact that the insectivorousness and the positivistness happens does not hold. sent3: the framing happens and the aspersion occurs if the ecclesiasticism does not occur. sent4: if the fact that both the rigmarole and the renovation occurs is wrong then the rigmarole does not occur. sent5: both the prelude and the aspersion happens. sent6: that the latitudinalness does not occur and the convoying Doliolidae does not occur prevents that the ecclesiasticism happens. sent7: the algorithmicness does not occur and the styling does not occur if the rigmarole does not occur. sent8: the kickoff occurs. sent9: the non-insectivorousness leads to that the latitudinalness does not occur and the convoying Doliolidae does not occur. sent10: the Belgian happens. sent11: the ecclesiasticism occurs if the convoying Doliolidae occurs. sent12: if the preluding does not occur then the fact that the aspersion and the styling happens is not correct. sent13: the algorithmicness happens. sent14: that the styling does not occur yields that the idiolatry happens and the prelude happens. sent15: if the deference does not occur the fact that the insectivorousness and the positivistness occurs is incorrect. ; $proof$ = 
sent5 -> int1: the aspersion occurs.; __UNKNOWN__