the stapling dysphemism occurs.
sent1: if the fact that the derring-do occurs is right the handlessness occurs. sent2: not the dogmatizing lux but the dogfight happens. sent3: the effacement does not occur. sent4: both the stapling baron and the stapling swell happens. sent5: the derring-do occurs. sent6: if the fact that the open and the tellurian happens is false then the stapling dysphemism does not occur. sent7: if the stapling Minoan does not occur then the acquainting grass does not occur. sent8: the dermalness occurs. sent9: the alignment and the dermalness happens. sent10: if the fact that the acquainting grass does not occur hold then that both the opening and the tellurianness happens is not true. sent11: if the handlessness and the stapling Minoan happens then the wrath does not occur. sent12: the moon-worship does not occur if the effacement does not occur. sent13: if the opening does not occur the stapling dysphemism does not occur. sent14: that not the moon-worship but the alignment happens yields that the wrath occurs.
sent1 & sent5 -> int1: the handlessness happens.; void -> assump1: Let's assume that the stapling Minoan happens.; int1 & assump1 -> int2: the handlessness happens and the stapling Minoan happens.; int2 & sent11 -> int3: the wrath does not occur.; sent12 & sent3 -> int4: the moon-worship does not occur.; sent9 -> int5: the fact that the alignment occurs is correct.; int4 & int5 -> int6: not the moon-worship but the alignment occurs.; sent14 & int6 -> int7: the wrath occurs.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the stapling Minoan does not occur.; int9 & sent7 -> int10: the acquainting grass does not occur.; int10 & sent10 -> int11: that the openness and the tellurian happens is not right.; int11 & sent6 -> hypothesis;
$hypothesis$ = the stapling dysphemism occurs. ; $context$ = sent1: if the fact that the derring-do occurs is right the handlessness occurs. sent2: not the dogmatizing lux but the dogfight happens. sent3: the effacement does not occur. sent4: both the stapling baron and the stapling swell happens. sent5: the derring-do occurs. sent6: if the fact that the open and the tellurian happens is false then the stapling dysphemism does not occur. sent7: if the stapling Minoan does not occur then the acquainting grass does not occur. sent8: the dermalness occurs. sent9: the alignment and the dermalness happens. sent10: if the fact that the acquainting grass does not occur hold then that both the opening and the tellurianness happens is not true. sent11: if the handlessness and the stapling Minoan happens then the wrath does not occur. sent12: the moon-worship does not occur if the effacement does not occur. sent13: if the opening does not occur the stapling dysphemism does not occur. sent14: that not the moon-worship but the alignment happens yields that the wrath occurs. ; $proof$ = 
sent1 & sent5 -> int1: the handlessness happens.; void -> assump1: Let's assume that the stapling Minoan happens.; int1 & assump1 -> int2: the handlessness happens and the stapling Minoan happens.; int2 & sent11 -> int3: the wrath does not occur.; sent12 & sent3 -> int4: the moon-worship does not occur.; sent9 -> int5: the fact that the alignment occurs is correct.; int4 & int5 -> int6: not the moon-worship but the alignment occurs.; sent14 & int6 -> int7: the wrath occurs.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the stapling Minoan does not occur.; int9 & sent7 -> int10: the acquainting grass does not occur.; int10 & sent10 -> int11: that the openness and the tellurian happens is not right.; int11 & sent6 -> hypothesis; __DISPROVED__