the counting skier occurs and the bioluminescence occurs.
sent1: that both the counting planet and the non-toughness happens is not correct. sent2: the tolerating does not occur. sent3: the fact that the counting saratoga occurs is correct. sent4: that the counting planet does not occur is true. sent5: the grading Swede happens. sent6: the counting skier does not occur if that the counting Konoe and/or the non-positionalness happens does not hold. sent7: the Copticness but not the tolerating happens. sent8: that the counting Elymus and the non-atheisticness happens does not hold if the illness happens. sent9: the fact that that the Copticness but not the tolerating happens is not true is true if the dogtrot occurs. sent10: the clawback and the counting griddle happens. sent11: the counting skier happens. sent12: the printing occurs. sent13: that the Coptic and the tolerating happens is false. sent14: the yielding occurs. sent15: that the Coptic and the tolerating occurs is not true if the dogtrot occurs. sent16: if the dogtrot does not occur the bioluminescence happens. sent17: if the counting skier does not occur the fact that the dogtrot does not occur and the bioluminescence does not occur does not hold. sent18: the grading Rabat does not occur if the fact that the dogtrot does not occur and the bioluminescence does not occur is false.
void -> assump1: Let's assume that the dogtrot happens.; sent9 & assump1 -> int1: that the Copticness but not the tolerating occurs is not true.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the dogtrot does not occur.; int3 & sent16 -> int4: the bioluminescence occurs.; int4 & sent11 -> hypothesis;
the fact that the counting skier occurs and the bioluminescence happens is incorrect.
 -> hypothesis;
$hypothesis$ = the counting skier occurs and the bioluminescence occurs. ; $context$ = sent1: that both the counting planet and the non-toughness happens is not correct. sent2: the tolerating does not occur. sent3: the fact that the counting saratoga occurs is correct. sent4: that the counting planet does not occur is true. sent5: the grading Swede happens. sent6: the counting skier does not occur if that the counting Konoe and/or the non-positionalness happens does not hold. sent7: the Copticness but not the tolerating happens. sent8: that the counting Elymus and the non-atheisticness happens does not hold if the illness happens. sent9: the fact that that the Copticness but not the tolerating happens is not true is true if the dogtrot occurs. sent10: the clawback and the counting griddle happens. sent11: the counting skier happens. sent12: the printing occurs. sent13: that the Coptic and the tolerating happens is false. sent14: the yielding occurs. sent15: that the Coptic and the tolerating occurs is not true if the dogtrot occurs. sent16: if the dogtrot does not occur the bioluminescence happens. sent17: if the counting skier does not occur the fact that the dogtrot does not occur and the bioluminescence does not occur does not hold. sent18: the grading Rabat does not occur if the fact that the dogtrot does not occur and the bioluminescence does not occur is false. ; $proof$ = 
void -> assump1: Let's assume that the dogtrot happens.; sent9 & assump1 -> int1: that the Copticness but not the tolerating occurs is not true.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the dogtrot does not occur.; int3 & sent16 -> int4: the bioluminescence occurs.; int4 & sent11 -> hypothesis; __PROVED__