the perithelialness does not occur.
sent1: if the harmony occurs then the worrying occurs. sent2: if the crystallizing does not occur and the pentathlon occurs the perithelialness does not occur. sent3: the scratching and the laryngopharyngealness happens. sent4: the fact that both the commutating Charadriidae and the aculeateness happens is incorrect. sent5: that both the cleaving and the laryngopharyngealness occurs prevents the crystallizing. sent6: if the commutating Charadriidae does not occur either the commutating sharksucker occurs or the allocution occurs or both. sent7: if the fundamentalistness occurs then the harmony occurs. sent8: the commutating Charadriidae does not occur if that the commutating Charadriidae occurs and the aculeateness happens does not hold. sent9: if either the philanthropicness does not occur or the commutating vernix does not occur or both the commutating vernix does not occur. sent10: the consummating Warhol happens. sent11: the cleaving occurs if that the worrying happens is right. sent12: the fact that the perithelialness happens and the scratch does not occur does not hold if the fact that the commutating vernix does not occur hold. sent13: the redemptiveness causes the non-philanthropicness or that the commutating vernix does not occur or both. sent14: the pentathlon happens. sent15: that the fundamentalist and the ban occurs is correct if the consummating Warhol does not occur. sent16: both the fundamentalist and the consummating Warhol occurs. sent17: if the pentathlon does not occur then the laryngopharyngealness does not occur and/or the crystallizing does not occur. sent18: if the commutating sharksucker happens the redemptiveness occurs.
sent16 -> int1: the fundamentalist occurs.; int1 & sent7 -> int2: the harmony happens.; int2 & sent1 -> int3: the fact that the worrying occurs is true.; int3 & sent11 -> int4: the cleaving occurs.; sent3 -> int5: the laryngopharyngealness occurs.; int4 & int5 -> int6: the cleaving happens and the laryngopharyngealness occurs.; int6 & sent5 -> int7: the crystallizing does not occur.; int7 & sent14 -> int8: the crystallizing does not occur but the pentathlon happens.; int8 & sent2 -> hypothesis;
the banning happens.
sent8 & sent4 -> int9: the commutating Charadriidae does not occur.; sent6 & int9 -> int10: that either the commutating sharksucker or the allocution or both occurs is not incorrect.;
$hypothesis$ = the perithelialness does not occur. ; $context$ = sent1: if the harmony occurs then the worrying occurs. sent2: if the crystallizing does not occur and the pentathlon occurs the perithelialness does not occur. sent3: the scratching and the laryngopharyngealness happens. sent4: the fact that both the commutating Charadriidae and the aculeateness happens is incorrect. sent5: that both the cleaving and the laryngopharyngealness occurs prevents the crystallizing. sent6: if the commutating Charadriidae does not occur either the commutating sharksucker occurs or the allocution occurs or both. sent7: if the fundamentalistness occurs then the harmony occurs. sent8: the commutating Charadriidae does not occur if that the commutating Charadriidae occurs and the aculeateness happens does not hold. sent9: if either the philanthropicness does not occur or the commutating vernix does not occur or both the commutating vernix does not occur. sent10: the consummating Warhol happens. sent11: the cleaving occurs if that the worrying happens is right. sent12: the fact that the perithelialness happens and the scratch does not occur does not hold if the fact that the commutating vernix does not occur hold. sent13: the redemptiveness causes the non-philanthropicness or that the commutating vernix does not occur or both. sent14: the pentathlon happens. sent15: that the fundamentalist and the ban occurs is correct if the consummating Warhol does not occur. sent16: both the fundamentalist and the consummating Warhol occurs. sent17: if the pentathlon does not occur then the laryngopharyngealness does not occur and/or the crystallizing does not occur. sent18: if the commutating sharksucker happens the redemptiveness occurs. ; $proof$ = 
sent16 -> int1: the fundamentalist occurs.; int1 & sent7 -> int2: the harmony happens.; int2 & sent1 -> int3: the fact that the worrying occurs is true.; int3 & sent11 -> int4: the cleaving occurs.; sent3 -> int5: the laryngopharyngealness occurs.; int4 & int5 -> int6: the cleaving happens and the laryngopharyngealness occurs.; int6 & sent5 -> int7: the crystallizing does not occur.; int7 & sent14 -> int8: the crystallizing does not occur but the pentathlon happens.; int8 & sent2 -> hypothesis; __PROVED__