the fact that if the lacticness does not occur the expurgation does not occur does not hold.
sent1: the kenneling abnormality does not occur if the fact that the sainthood does not occur and the kenneling abnormality happens is incorrect. sent2: the tilling does not occur and/or the expurgation does not occur if the craps does not occur. sent3: the craps happens if that the expurgation happens is true. sent4: the fact that not the sainthood but the kenneling abnormality occurs is not true if the trisecting cursed does not occur. sent5: that the tune occurs and the .45-caliberness happens is brought about by that the kenneling abnormality does not occur. sent6: the tilling does not occur if the tilling does not occur and/or the expurgation does not occur. sent7: the lacticness occurs if the craps occurs. sent8: the alternateness happens. sent9: that the lacticness happens and the lift does not occur does not hold if the tune happens. sent10: the trisecting cursed does not occur if that the lancers does not occur but the trisecting cursed occurs is not right. sent11: the geopoliticalness does not occur.
void -> assump2: Let's assume that the expurgation occurs.; sent3 & assump2 -> int1: the craps occurs.; sent7 & int1 -> int2: that the lacticness occurs is true.; void -> assump1: Let's assume that the lacticness does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the expurgation does not occur.; [assump1] & int4 -> hypothesis;
the tilling does not occur.
$hypothesis$ = the fact that if the lacticness does not occur the expurgation does not occur does not hold. ; $context$ = sent1: the kenneling abnormality does not occur if the fact that the sainthood does not occur and the kenneling abnormality happens is incorrect. sent2: the tilling does not occur and/or the expurgation does not occur if the craps does not occur. sent3: the craps happens if that the expurgation happens is true. sent4: the fact that not the sainthood but the kenneling abnormality occurs is not true if the trisecting cursed does not occur. sent5: that the tune occurs and the .45-caliberness happens is brought about by that the kenneling abnormality does not occur. sent6: the tilling does not occur if the tilling does not occur and/or the expurgation does not occur. sent7: the lacticness occurs if the craps occurs. sent8: the alternateness happens. sent9: that the lacticness happens and the lift does not occur does not hold if the tune happens. sent10: the trisecting cursed does not occur if that the lancers does not occur but the trisecting cursed occurs is not right. sent11: the geopoliticalness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the expurgation occurs.; sent3 & assump2 -> int1: the craps occurs.; sent7 & int1 -> int2: that the lacticness occurs is true.; void -> assump1: Let's assume that the lacticness does not occur.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the expurgation does not occur.; [assump1] & int4 -> hypothesis; __DISPROVED__