the gentile does not sag noli-me-tangere but it is a kind of a Yorkshire.
sent1: the gentile is lobate if it sags noli-me-tangere. sent2: the skylark is not a kind of a Yorkshire. sent3: that the lodge is lobate is right if the basileus sags permeability. sent4: the lodge is an electrolytic. sent5: the lodge is a Yorkshire if the triangle is a Yorkshire. sent6: the basileus is not a Yorkshire. sent7: the basileus is not non-electrolytic if it is a kind of a Yorkshire. sent8: the triangle does sag noli-me-tangere if it is a kind of a Yorkshire. sent9: the gentile is not a kind of an electrolytic but it disguises. sent10: the gentile is not a Yorkshire if that the triangle is a Yorkshire and sags noli-me-tangere does not hold. sent11: the basileus does sag noli-me-tangere. sent12: if the lodge is not non-lobate then the fact that the gentile does not sag noli-me-tangere but it is a Yorkshire is wrong. sent13: that the triangle is not lobate is not false. sent14: if the lodge is a kind of a Yorkshire the gentile is a Yorkshire. sent15: that the basileus is lobate and it is electrolytic is not correct. sent16: the gentile is not lobate if the basileus is not an electrolytic. sent17: the basileus is not amalgamative but it is a calla. sent18: the gentile is not lobate if that the basileus is lobate and it is an electrolytic does not hold.
void -> assump1: Let's assume that the gentile sags noli-me-tangere.; sent1 & assump1 -> int1: the gentile is lobate.; sent18 & sent15 -> int2: the gentile is not lobate.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gentile does not sag noli-me-tangere.;
that the gentile does not sag noli-me-tangere but it is a Yorkshire is not true.
$hypothesis$ = the gentile does not sag noli-me-tangere but it is a kind of a Yorkshire. ; $context$ = sent1: the gentile is lobate if it sags noli-me-tangere. sent2: the skylark is not a kind of a Yorkshire. sent3: that the lodge is lobate is right if the basileus sags permeability. sent4: the lodge is an electrolytic. sent5: the lodge is a Yorkshire if the triangle is a Yorkshire. sent6: the basileus is not a Yorkshire. sent7: the basileus is not non-electrolytic if it is a kind of a Yorkshire. sent8: the triangle does sag noli-me-tangere if it is a kind of a Yorkshire. sent9: the gentile is not a kind of an electrolytic but it disguises. sent10: the gentile is not a Yorkshire if that the triangle is a Yorkshire and sags noli-me-tangere does not hold. sent11: the basileus does sag noli-me-tangere. sent12: if the lodge is not non-lobate then the fact that the gentile does not sag noli-me-tangere but it is a Yorkshire is wrong. sent13: that the triangle is not lobate is not false. sent14: if the lodge is a kind of a Yorkshire the gentile is a Yorkshire. sent15: that the basileus is lobate and it is electrolytic is not correct. sent16: the gentile is not lobate if the basileus is not an electrolytic. sent17: the basileus is not amalgamative but it is a calla. sent18: the gentile is not lobate if that the basileus is lobate and it is an electrolytic does not hold. ; $proof$ = 
void -> assump1: Let's assume that the gentile sags noli-me-tangere.; sent1 & assump1 -> int1: the gentile is lobate.; sent18 & sent15 -> int2: the gentile is not lobate.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gentile does not sag noli-me-tangere.; __UNKNOWN__