if the incident happens the pyrrhic does not occur and the choiring does not occur.
sent1: the undertow and the indicating occurs. sent2: both the wrath and the emotionalness happens. sent3: the stocktake does not occur. sent4: the spartanness and the postmillennialness occurs. sent5: the dipterousness does not occur. sent6: the lithographicness does not occur. sent7: the protectorship is prevented by that the truncation happens and/or the surprising greenbelt. sent8: the incident does not occur if the glitter or the choiring or both happens. sent9: both the following kilogram and the skimming occurs. sent10: the surprising cross-link does not occur. sent11: the undatableness happens. sent12: the pyrrhic is prevented by that both the following kilogram and the emotionalness happens.
void -> assump1: Let's assume that the choir occurs.; assump1 -> int1: the glitter occurs or the choir happens or both.; int1 & sent8 -> int2: the incidentness does not occur.; void -> assump2: Let's assume that the fact that the incidentness occurs is not false.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the choir does not occur.; sent9 -> int5: the fact that the following kilogram happens is true.; sent2 -> int6: the emotionalness happens.; int5 & int6 -> int7: the following kilogram and the emotionalness occurs.; sent12 & int7 -> int8: the pyrrhic does not occur.; int4 & int8 -> int9: the pyrrhicness does not occur and the choiring does not occur.; [assump2] & int9 -> hypothesis;
$hypothesis$ = if the incident happens the pyrrhic does not occur and the choiring does not occur. ; $context$ = sent1: the undertow and the indicating occurs. sent2: both the wrath and the emotionalness happens. sent3: the stocktake does not occur. sent4: the spartanness and the postmillennialness occurs. sent5: the dipterousness does not occur. sent6: the lithographicness does not occur. sent7: the protectorship is prevented by that the truncation happens and/or the surprising greenbelt. sent8: the incident does not occur if the glitter or the choiring or both happens. sent9: both the following kilogram and the skimming occurs. sent10: the surprising cross-link does not occur. sent11: the undatableness happens. sent12: the pyrrhic is prevented by that both the following kilogram and the emotionalness happens. ; $proof$ = 
void -> assump1: Let's assume that the choir occurs.; assump1 -> int1: the glitter occurs or the choir happens or both.; int1 & sent8 -> int2: the incidentness does not occur.; void -> assump2: Let's assume that the fact that the incidentness occurs is not false.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the choir does not occur.; sent9 -> int5: the fact that the following kilogram happens is true.; sent2 -> int6: the emotionalness happens.; int5 & int6 -> int7: the following kilogram and the emotionalness occurs.; sent12 & int7 -> int8: the pyrrhic does not occur.; int4 & int8 -> int9: the pyrrhicness does not occur and the choiring does not occur.; [assump2] & int9 -> hypothesis; __PROVED__