the exploding happens.
sent1: if the canceling poilu happens then the fact that the canceling follicle does not occur and the crooking connection does not occur is right. sent2: the contradistinguishing dramaturgy does not occur if the canceling follicle does not occur and the crooking connection does not occur. sent3: that both the electrocardiographicness and the exploding occurs is triggered by that the stomp does not occur. sent4: the piraticalness does not occur if either the electrocardiographicness happens or the stomp does not occur or both. sent5: the contradistinguishing dramaturgy does not occur. sent6: that the electrocardiographicness does not occur prevents that the crooking imaging does not occur. sent7: the piraticalness and/or the crooking imaging happens if the exuvialness does not occur. sent8: that the exploding occurs is prevented by that both the crooking imaging and the exuvialness occurs. sent9: the contradistinguishing borax does not occur if the hydraulicness does not occur. sent10: the offstageness occurs. sent11: both the piraticalness and the canceling gracelessness occurs. sent12: if that the contradistinguishing dramaturgy but not the canceling gracelessness occurs is wrong the canceling gracelessness occurs. sent13: both the crooking connection and the canceling follicle occurs. sent14: if the crooking connection occurs the contradistinguishing dramaturgy does not occur but the exuvialness occurs.
void -> assump1: Let's assume that that the electrocardiographicness occurs hold.; assump1 -> int1: the electrocardiographicness happens and/or the stomp does not occur.; int1 & sent4 -> int2: the piraticalness does not occur.; sent11 -> int3: the piraticalness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the electrocardiographicness does not occur is right.; int5 & sent6 -> int6: the crooking imaging happens.; sent13 -> int7: the crooking connection occurs.; sent14 & int7 -> int8: not the contradistinguishing dramaturgy but the exuvialness occurs.; int8 -> int9: the exuvialness occurs.; int6 & int9 -> int10: both the crooking imaging and the exuvialness occurs.; int10 & sent8 -> hypothesis;
the meaninglessness does not occur.
$hypothesis$ = the exploding happens. ; $context$ = sent1: if the canceling poilu happens then the fact that the canceling follicle does not occur and the crooking connection does not occur is right. sent2: the contradistinguishing dramaturgy does not occur if the canceling follicle does not occur and the crooking connection does not occur. sent3: that both the electrocardiographicness and the exploding occurs is triggered by that the stomp does not occur. sent4: the piraticalness does not occur if either the electrocardiographicness happens or the stomp does not occur or both. sent5: the contradistinguishing dramaturgy does not occur. sent6: that the electrocardiographicness does not occur prevents that the crooking imaging does not occur. sent7: the piraticalness and/or the crooking imaging happens if the exuvialness does not occur. sent8: that the exploding occurs is prevented by that both the crooking imaging and the exuvialness occurs. sent9: the contradistinguishing borax does not occur if the hydraulicness does not occur. sent10: the offstageness occurs. sent11: both the piraticalness and the canceling gracelessness occurs. sent12: if that the contradistinguishing dramaturgy but not the canceling gracelessness occurs is wrong the canceling gracelessness occurs. sent13: both the crooking connection and the canceling follicle occurs. sent14: if the crooking connection occurs the contradistinguishing dramaturgy does not occur but the exuvialness occurs. ; $proof$ = 
void -> assump1: Let's assume that that the electrocardiographicness occurs hold.; assump1 -> int1: the electrocardiographicness happens and/or the stomp does not occur.; int1 & sent4 -> int2: the piraticalness does not occur.; sent11 -> int3: the piraticalness happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the electrocardiographicness does not occur is right.; int5 & sent6 -> int6: the crooking imaging happens.; sent13 -> int7: the crooking connection occurs.; sent14 & int7 -> int8: not the contradistinguishing dramaturgy but the exuvialness occurs.; int8 -> int9: the exuvialness occurs.; int6 & int9 -> int10: both the crooking imaging and the exuvialness occurs.; int10 & sent8 -> hypothesis; __DISPROVED__