the fact that the stapling pass-through occurs but the resettling does not occur is not right.
sent1: the notification happens if the fact that the disembarking does not occur and the hollering does not occur is not right. sent2: that both the bunking turnstile and the exhaustibleness happens is caused by that the mishap does not occur. sent3: if the bunking turnstile occurs then the mumbling occurs. sent4: the syncreticness happens. sent5: that both the mishap and the incoherentness happens is not right if the stapling coalman does not occur. sent6: the incomparableness occurs if the fact that the liftoff occurs hold. sent7: that the stapling pass-through but not the resettling occurs is false if the notification does not occur. sent8: that the stapling pass-through happens is brought about by the notification. sent9: the stapling Varese occurs if the disembarking does not occur and the hollering does not occur. sent10: not the stapling Varese but the incomparableness occurs. sent11: the liftoff occurs if the mumbling occurs. sent12: the resettling does not occur. sent13: the mishap does not occur if the fact that the mishap happens and the incoherentness happens is wrong. sent14: that the stapling coalman does not occur and the insubordination does not occur is triggered by that the segregation happens.
void -> assump1: Let's assume that the disembarking does not occur and the hollering does not occur.; sent9 & assump1 -> int1: the stapling Varese occurs.; sent10 -> int2: the stapling Varese does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the disembarking does not occur and the hollering does not occur is not right.; int4 & sent1 -> int5: the notification occurs.; int5 & sent8 -> int6: the stapling pass-through happens.; int6 & sent12 -> hypothesis;
the fact that the stapling pass-through occurs but the resettling does not occur does not hold.
$hypothesis$ = the fact that the stapling pass-through occurs but the resettling does not occur is not right. ; $context$ = sent1: the notification happens if the fact that the disembarking does not occur and the hollering does not occur is not right. sent2: that both the bunking turnstile and the exhaustibleness happens is caused by that the mishap does not occur. sent3: if the bunking turnstile occurs then the mumbling occurs. sent4: the syncreticness happens. sent5: that both the mishap and the incoherentness happens is not right if the stapling coalman does not occur. sent6: the incomparableness occurs if the fact that the liftoff occurs hold. sent7: that the stapling pass-through but not the resettling occurs is false if the notification does not occur. sent8: that the stapling pass-through happens is brought about by the notification. sent9: the stapling Varese occurs if the disembarking does not occur and the hollering does not occur. sent10: not the stapling Varese but the incomparableness occurs. sent11: the liftoff occurs if the mumbling occurs. sent12: the resettling does not occur. sent13: the mishap does not occur if the fact that the mishap happens and the incoherentness happens is wrong. sent14: that the stapling coalman does not occur and the insubordination does not occur is triggered by that the segregation happens. ; $proof$ = 
void -> assump1: Let's assume that the disembarking does not occur and the hollering does not occur.; sent9 & assump1 -> int1: the stapling Varese occurs.; sent10 -> int2: the stapling Varese does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the disembarking does not occur and the hollering does not occur is not right.; int4 & sent1 -> int5: the notification occurs.; int5 & sent8 -> int6: the stapling pass-through happens.; int6 & sent12 -> hypothesis; __DISPROVED__