the narrowing Sarcosporidia happens.
sent1: the fact that the quadrille happens does not hold if the fact that the quadrille occurs but the glyptography does not occur is not right. sent2: that the quadrille but not the glyptography occurs is incorrect if the fact that the lacrimalness does not occur hold. sent3: the Michigan happens and the Trinidadian occurs. sent4: either the quadrille happens or the glyptography happens or both. sent5: if the Trinidadianness does not occur then both the narrowing Sarcosporidia and the Michigan occurs. sent6: if the fact that the fact that the Trinidadian and the uncomplimentaryness happens is not correct is correct the uncomplimentary occurs. sent7: if the glyptography occurs then the consolidating happens. sent8: the consolidating happens if the quadrille occurs. sent9: the fact that the Trinidadian occurs and the complimentariness does not occur is not right if the fact that the Michigan does not occur is not false. sent10: if the consolidating does not occur then the fact that the narrowing Sarcosporidia does not occur and the limnologicalness happens does not hold. sent11: that the Michigan and the narrowing Sarcosporidia happens prevents that the limnologicalness happens. sent12: if the fact that the assenting happens and the limnologicalness does not occur is not right then the limnologicalness occurs. sent13: if the consolidating happens the fact that the fact that both the assent and the non-limnologicalness happens is correct is wrong.
sent3 -> int1: the fact that the Michigan occurs is right.; void -> assump1: Let's assume that the narrowing Sarcosporidia occurs.; int1 & assump1 -> int2: both the Michigan and the narrowing Sarcosporidia happens.; int2 & sent11 -> int3: the limnologicalness does not occur.; sent4 & sent8 & sent7 -> int4: the consolidating occurs.; sent13 & int4 -> int5: that the assent and the non-limnologicalness occurs is wrong.; sent12 & int5 -> int6: the limnologicalness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the narrowing Sarcosporidia occurs.
$hypothesis$ = the narrowing Sarcosporidia happens. ; $context$ = sent1: the fact that the quadrille happens does not hold if the fact that the quadrille occurs but the glyptography does not occur is not right. sent2: that the quadrille but not the glyptography occurs is incorrect if the fact that the lacrimalness does not occur hold. sent3: the Michigan happens and the Trinidadian occurs. sent4: either the quadrille happens or the glyptography happens or both. sent5: if the Trinidadianness does not occur then both the narrowing Sarcosporidia and the Michigan occurs. sent6: if the fact that the fact that the Trinidadian and the uncomplimentaryness happens is not correct is correct the uncomplimentary occurs. sent7: if the glyptography occurs then the consolidating happens. sent8: the consolidating happens if the quadrille occurs. sent9: the fact that the Trinidadian occurs and the complimentariness does not occur is not right if the fact that the Michigan does not occur is not false. sent10: if the consolidating does not occur then the fact that the narrowing Sarcosporidia does not occur and the limnologicalness happens does not hold. sent11: that the Michigan and the narrowing Sarcosporidia happens prevents that the limnologicalness happens. sent12: if the fact that the assenting happens and the limnologicalness does not occur is not right then the limnologicalness occurs. sent13: if the consolidating happens the fact that the fact that both the assent and the non-limnologicalness happens is correct is wrong. ; $proof$ = 
sent3 -> int1: the fact that the Michigan occurs is right.; void -> assump1: Let's assume that the narrowing Sarcosporidia occurs.; int1 & assump1 -> int2: both the Michigan and the narrowing Sarcosporidia happens.; int2 & sent11 -> int3: the limnologicalness does not occur.; sent4 & sent8 & sent7 -> int4: the consolidating occurs.; sent13 & int4 -> int5: that the assent and the non-limnologicalness occurs is wrong.; sent12 & int5 -> int6: the limnologicalness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__