the pragmatics happens.
sent1: that the twilling celerity does not occur and/or the thickening happens is false if the circulatoriness does not occur. sent2: if the fact that the indication does not occur and the real-timeness does not occur is not right then the fact that the twilling wayside happens hold. sent3: both the handout and the flying occurs. sent4: if the strangulation occurs then the cloud happens but the twilling wayside does not occur. sent5: the real-timeness does not occur if the fact that both the flies and the real-timeness happens is not true. sent6: the circulatoriness does not occur if the counterdemonstration does not occur and the embarking does not occur. sent7: that the mucinoidness happens is triggered by that the hydrokineticness occurs and the messaging does not occur. sent8: that the indication happens but the handout does not occur results in the non-mucinoidness. sent9: the fact that both the flying and the real-timeness occurs does not hold if the twilling wayside does not occur. sent10: the pragmaticsness happens if the twilling wayside happens. sent11: the handout is prevented by that the ethnocentricness happens and the mucinoidness happens. sent12: the hydrokineticness occurs and the messaging does not occur. sent13: the strangulation happens if that either the twilling celerity does not occur or the thickening occurs or both is false.
sent7 & sent12 -> int1: the mucinoidness occurs.; void -> assump1: Let's assume that the ethnocentricness occurs.; int1 & assump1 -> int2: the ethnocentricness happens and the mucinoidness occurs.; int2 & sent11 -> int3: the handout does not occur.; sent3 -> int4: the fact that the handout happens hold.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the ethnocentricness does not occur.;
the pragmatics does not occur.
$hypothesis$ = the pragmatics happens. ; $context$ = sent1: that the twilling celerity does not occur and/or the thickening happens is false if the circulatoriness does not occur. sent2: if the fact that the indication does not occur and the real-timeness does not occur is not right then the fact that the twilling wayside happens hold. sent3: both the handout and the flying occurs. sent4: if the strangulation occurs then the cloud happens but the twilling wayside does not occur. sent5: the real-timeness does not occur if the fact that both the flies and the real-timeness happens is not true. sent6: the circulatoriness does not occur if the counterdemonstration does not occur and the embarking does not occur. sent7: that the mucinoidness happens is triggered by that the hydrokineticness occurs and the messaging does not occur. sent8: that the indication happens but the handout does not occur results in the non-mucinoidness. sent9: the fact that both the flying and the real-timeness occurs does not hold if the twilling wayside does not occur. sent10: the pragmaticsness happens if the twilling wayside happens. sent11: the handout is prevented by that the ethnocentricness happens and the mucinoidness happens. sent12: the hydrokineticness occurs and the messaging does not occur. sent13: the strangulation happens if that either the twilling celerity does not occur or the thickening occurs or both is false. ; $proof$ = 
sent7 & sent12 -> int1: the mucinoidness occurs.; void -> assump1: Let's assume that the ethnocentricness occurs.; int1 & assump1 -> int2: the ethnocentricness happens and the mucinoidness occurs.; int2 & sent11 -> int3: the handout does not occur.; sent3 -> int4: the fact that the handout happens hold.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the ethnocentricness does not occur.; __UNKNOWN__