the stonework is not a Mays.
sent1: the mineshaft is a neoteny if the slice does slink Bushnell. sent2: that the Siberian does not number seatbelt or it is not non-isopteran or both is not true. sent3: something does not pool shapelessness and is not anasarcous if it is not a beverage. sent4: the caftan does not number RAS but it is a biennial. sent5: if the garnishee is not a Tombaugh but it is a kind of a Petronius the stonework is not a Mays. sent6: the garnishee is a Petronius if the uke is not a Tombaugh. sent7: if the uke is a Tombaugh the caftan marbles overgrowth. sent8: the fact that the saint is a kind of a pied-a-terre and/or it does not develop does not hold if the mineshaft is a neoteny. sent9: the cylinder is anasarcous if the tester does not pool shapelessness and is not anasarcous. sent10: the uke is a Petronius if the caftan is craniometric. sent11: if the stonework is not a Petronius then the garnishee is not a Petronius. sent12: the transcriber is not armorial but it is a Mays. sent13: if the fact that the garnishee is both a permanent and not anasarcous is not correct it does not crape. sent14: if there is something such that that either it does not number seatbelt or it is isopteran or both is not true then the slice slinks Bushnell. sent15: that something is a Tombaugh and does not marble overgrowth is not true if it is a Mays. sent16: if the uke is a Petronius then that the stonework does not marble overgrowth and it is not a Tombaugh is false. sent17: if something is a battledore it is craniometric. sent18: something is a Mays if that it does not marble overgrowth and it is not a Tombaugh is wrong. sent19: if there is something such that that it is a pied-a-terre and/or does not develop is not right the tester is not a beverage. sent20: that the garnishee is a permanent but it is not anasarcous is not true if something is anasarcous. sent21: The overgrowth does not marble caftan. sent22: the caftan does not marble overgrowth.
void -> assump1: Let's assume that the uke is a Tombaugh.; sent7 & assump1 -> int1: the caftan marbles overgrowth.; int1 & sent22 -> int2: this is contradiction.; [assump1] & int2 -> int3: the uke is not a Tombaugh.;
the anomalopteryx is not a Petronius.
sent15 -> int4: that the uke is a Tombaugh but it does not marble overgrowth is false if it is a Mays.;
$hypothesis$ = the stonework is not a Mays. ; $context$ = sent1: the mineshaft is a neoteny if the slice does slink Bushnell. sent2: that the Siberian does not number seatbelt or it is not non-isopteran or both is not true. sent3: something does not pool shapelessness and is not anasarcous if it is not a beverage. sent4: the caftan does not number RAS but it is a biennial. sent5: if the garnishee is not a Tombaugh but it is a kind of a Petronius the stonework is not a Mays. sent6: the garnishee is a Petronius if the uke is not a Tombaugh. sent7: if the uke is a Tombaugh the caftan marbles overgrowth. sent8: the fact that the saint is a kind of a pied-a-terre and/or it does not develop does not hold if the mineshaft is a neoteny. sent9: the cylinder is anasarcous if the tester does not pool shapelessness and is not anasarcous. sent10: the uke is a Petronius if the caftan is craniometric. sent11: if the stonework is not a Petronius then the garnishee is not a Petronius. sent12: the transcriber is not armorial but it is a Mays. sent13: if the fact that the garnishee is both a permanent and not anasarcous is not correct it does not crape. sent14: if there is something such that that either it does not number seatbelt or it is isopteran or both is not true then the slice slinks Bushnell. sent15: that something is a Tombaugh and does not marble overgrowth is not true if it is a Mays. sent16: if the uke is a Petronius then that the stonework does not marble overgrowth and it is not a Tombaugh is false. sent17: if something is a battledore it is craniometric. sent18: something is a Mays if that it does not marble overgrowth and it is not a Tombaugh is wrong. sent19: if there is something such that that it is a pied-a-terre and/or does not develop is not right the tester is not a beverage. sent20: that the garnishee is a permanent but it is not anasarcous is not true if something is anasarcous. sent21: The overgrowth does not marble caftan. sent22: the caftan does not marble overgrowth. ; $proof$ = 
void -> assump1: Let's assume that the uke is a Tombaugh.; sent7 & assump1 -> int1: the caftan marbles overgrowth.; int1 & sent22 -> int2: this is contradiction.; [assump1] & int2 -> int3: the uke is not a Tombaugh.; __UNKNOWN__