that that the myringotomy but not the Miss occurs hold is not correct.
sent1: if the Justice occurs the politeness happens. sent2: the myringotomy occurs. sent3: the umbilicalness does not occur if the crackdown happens. sent4: the grinding occurs and/or the activity happens. sent5: the jitter does not occur if the falling happens. sent6: the numbering mayfly happens if the numbering audiometer does not occur. sent7: the marbling counterdemonstration occurs if the fact that the Thracian does not occur is not wrong. sent8: the putout does not occur if the Thracian occurs or the superposition happens or both. sent9: if the Opposition does not occur that the pooling chondrite happens is true. sent10: the yips happens. sent11: the Justice does not occur. sent12: the fact that the putout happens is not incorrect. sent13: if the marbling counterdemonstration but not the Justice occurs then the Miss does not occur.
void -> assump1: Let's assume that the Thracianness occurs.; assump1 -> int1: either the Thracianness happens or the superposition happens or both.; int1 & sent8 -> int2: the putout does not occur.; int2 & sent12 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Thracianness does not occur.; int4 & sent7 -> int5: the marbling counterdemonstration happens.; int5 & sent11 -> int6: the marbling counterdemonstration but not the Justice occurs.; int6 & sent13 -> int7: the Miss does not occur.; int7 & sent2 -> hypothesis;
the politeness occurs and the suffocation does not occur.
$hypothesis$ = that that the myringotomy but not the Miss occurs hold is not correct. ; $context$ = sent1: if the Justice occurs the politeness happens. sent2: the myringotomy occurs. sent3: the umbilicalness does not occur if the crackdown happens. sent4: the grinding occurs and/or the activity happens. sent5: the jitter does not occur if the falling happens. sent6: the numbering mayfly happens if the numbering audiometer does not occur. sent7: the marbling counterdemonstration occurs if the fact that the Thracian does not occur is not wrong. sent8: the putout does not occur if the Thracian occurs or the superposition happens or both. sent9: if the Opposition does not occur that the pooling chondrite happens is true. sent10: the yips happens. sent11: the Justice does not occur. sent12: the fact that the putout happens is not incorrect. sent13: if the marbling counterdemonstration but not the Justice occurs then the Miss does not occur. ; $proof$ = 
void -> assump1: Let's assume that the Thracianness occurs.; assump1 -> int1: either the Thracianness happens or the superposition happens or both.; int1 & sent8 -> int2: the putout does not occur.; int2 & sent12 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Thracianness does not occur.; int4 & sent7 -> int5: the marbling counterdemonstration happens.; int5 & sent11 -> int6: the marbling counterdemonstration but not the Justice occurs.; int6 & sent13 -> int7: the Miss does not occur.; int7 & sent2 -> hypothesis; __DISPROVED__