that there is something such that if it is a racker it is not a celerity is not true.
sent1: the columbine is not a secondment. sent2: if that something is both not a celerity and not a secondment hold then it is not a kind of a racker. sent3: the Levantine does not quit if that the fact that it does hitch mill-girl and is not a racker hold is not correct. sent4: there is something such that if it is a treason then it is not Episcopal. sent5: that the Levantine is not a secondment and not a lunchtime is not true. sent6: that something is non-noxious is not false if the fact that it does thirst grope and is not a kind of a whistle is not right. sent7: if the fact that something is not a celerity and is not a secondment is not true then it is not a kind of a racker. sent8: the Levantine is not a kind of a cross-question.
sent7 -> int1: the Levantine is not a racker if that it is not a celerity and it is not a secondment does not hold.; void -> assump1: Let's assume that that the Levantine is not a celerity and it is not a secondment does not hold.; int1 & assump1 -> int2: the Levantine is not a kind of a racker.; void -> assump2: Let's assume that the Levantine is a racker.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Levantine is not a celerity and it is not a secondment is right.; int4 -> int5: the Levantine is not a celerity.; [assump2] & int5 -> int6: if the Levantine is a racker then it is not a celerity.; int6 -> hypothesis;
$hypothesis$ = that there is something such that if it is a racker it is not a celerity is not true. ; $context$ = sent1: the columbine is not a secondment. sent2: if that something is both not a celerity and not a secondment hold then it is not a kind of a racker. sent3: the Levantine does not quit if that the fact that it does hitch mill-girl and is not a racker hold is not correct. sent4: there is something such that if it is a treason then it is not Episcopal. sent5: that the Levantine is not a secondment and not a lunchtime is not true. sent6: that something is non-noxious is not false if the fact that it does thirst grope and is not a kind of a whistle is not right. sent7: if the fact that something is not a celerity and is not a secondment is not true then it is not a kind of a racker. sent8: the Levantine is not a kind of a cross-question. ; $proof$ = 
sent7 -> int1: the Levantine is not a racker if that it is not a celerity and it is not a secondment does not hold.; void -> assump1: Let's assume that that the Levantine is not a celerity and it is not a secondment does not hold.; int1 & assump1 -> int2: the Levantine is not a kind of a racker.; void -> assump2: Let's assume that the Levantine is a racker.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Levantine is not a celerity and it is not a secondment is right.; int4 -> int5: the Levantine is not a celerity.; [assump2] & int5 -> int6: if the Levantine is a racker then it is not a celerity.; int6 -> hypothesis; __DISPROVED__