the sextant is not carinal.
sent1: if that the sextant is not a mesa and it is not provincial is false it is carinal. sent2: that the sextant is not a kind of a mesa and is provincial is not right if the pelycosaur is not provincial. sent3: that the sextant is not a mesa but it is a kind of a provincial is not correct. sent4: the doll is weightless. sent5: if the doll is not a mesa it is prudent and is weightless. sent6: the pelycosaur is not a kind of a mesa if something is carinal but it is not bisectional. sent7: the doll is not weightless if it is not prudent. sent8: if there is something such that the fact that it is not weightless and is not prudent does not hold then the expanse is a provincial. sent9: something is carinal but it is not bisectional if it is a kind of an enterprise. sent10: that something is not weightless and it is not prudent is false if that it is not a mesa is right. sent11: the pelycosaur is nonsubmersible and/or it is not a provincial if the doll is prudent. sent12: that the sextant is a mesa that is not a provincial does not hold. sent13: if something is a provincial it is nonsubmersible. sent14: if the pelycosaur is not provincial then that that the sextant is a kind of a mesa but it is not a provincial is wrong is not incorrect. sent15: that the sextant is both not a mesa and not a provincial is not right if that the pelycosaur is not a kind of a provincial is not wrong. sent16: the sextant is not a kind of a purist. sent17: the doll is not a kind of a mesa if it is not an enterprise and it is not bisectional. sent18: if the pelycosaur is nonsubmersible or it is a provincial or both then the doll is not prudent. sent19: the zabaglione is carinal.
void -> assump1: Let's assume that the pelycosaur is a provincial.; assump1 -> int1: the pelycosaur is nonsubmersible or not non-provincial or both.; int1 & sent18 -> int2: the doll is not prudent.; int2 & sent7 -> int3: the doll is not weightless.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the pelycosaur is not a provincial.; int5 & sent15 -> int6: the fact that the sextant is not a mesa and not a provincial does not hold.; int6 & sent1 -> hypothesis;
the sextant is not carinal.
$hypothesis$ = the sextant is not carinal. ; $context$ = sent1: if that the sextant is not a mesa and it is not provincial is false it is carinal. sent2: that the sextant is not a kind of a mesa and is provincial is not right if the pelycosaur is not provincial. sent3: that the sextant is not a mesa but it is a kind of a provincial is not correct. sent4: the doll is weightless. sent5: if the doll is not a mesa it is prudent and is weightless. sent6: the pelycosaur is not a kind of a mesa if something is carinal but it is not bisectional. sent7: the doll is not weightless if it is not prudent. sent8: if there is something such that the fact that it is not weightless and is not prudent does not hold then the expanse is a provincial. sent9: something is carinal but it is not bisectional if it is a kind of an enterprise. sent10: that something is not weightless and it is not prudent is false if that it is not a mesa is right. sent11: the pelycosaur is nonsubmersible and/or it is not a provincial if the doll is prudent. sent12: that the sextant is a mesa that is not a provincial does not hold. sent13: if something is a provincial it is nonsubmersible. sent14: if the pelycosaur is not provincial then that that the sextant is a kind of a mesa but it is not a provincial is wrong is not incorrect. sent15: that the sextant is both not a mesa and not a provincial is not right if that the pelycosaur is not a kind of a provincial is not wrong. sent16: the sextant is not a kind of a purist. sent17: the doll is not a kind of a mesa if it is not an enterprise and it is not bisectional. sent18: if the pelycosaur is nonsubmersible or it is a provincial or both then the doll is not prudent. sent19: the zabaglione is carinal. ; $proof$ = 
void -> assump1: Let's assume that the pelycosaur is a provincial.; assump1 -> int1: the pelycosaur is nonsubmersible or not non-provincial or both.; int1 & sent18 -> int2: the doll is not prudent.; int2 & sent7 -> int3: the doll is not weightless.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the pelycosaur is not a provincial.; int5 & sent15 -> int6: the fact that the sextant is not a mesa and not a provincial does not hold.; int6 & sent1 -> hypothesis; __DISPROVED__