that the putz is not a scone and is translunar is false.
sent1: that the jasper is a surveyor but it does not eulogize graining is not correct if it is not lawful. sent2: if something does not stifle stratocracy it enrolls. sent3: something is not a scone but it is translunar if that it enrolls is not wrong. sent4: the jasper is not lawful. sent5: if the virino does not render tatouay and is sartorial then the fact that the winery is not on-the-job is right. sent6: if something does not stifle stratocracy that the putz is not a scone but translunar is false. sent7: that the putz is a scone and is translunar is not true. sent8: the fact that something does not render tatouay and is sartorial is true if it is a kind of a perfumed. sent9: the jasper is not lawful and it does not eulogize soldiering if the winery is not on-the-job. sent10: if there is something such that it does not stifle stratocracy that the putz is a kind of a scone that is translunar is not true. sent11: the jasper is a kind of a surveyor that does not eulogize graining if it does not enroll. sent12: something does stifle stratocracy.
void -> assump1: Let's assume that the jasper does not enroll.; sent11 & assump1 -> int1: the jasper is a surveyor that does not eulogize graining.; sent1 & sent4 -> int2: the fact that that the jasper is a kind of a surveyor and does not eulogize graining hold does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the jasper enrolls is correct.;
the putz is not a scone but translunar.
sent3 -> int5: if the putz does enroll then it is both not a scone and translunar.; sent2 -> int6: if the putz does not stifle stratocracy then it enrolls.; sent8 -> int7: if the virino does perfume it does not render tatouay and it is sartorial.;
$hypothesis$ = that the putz is not a scone and is translunar is false. ; $context$ = sent1: that the jasper is a surveyor but it does not eulogize graining is not correct if it is not lawful. sent2: if something does not stifle stratocracy it enrolls. sent3: something is not a scone but it is translunar if that it enrolls is not wrong. sent4: the jasper is not lawful. sent5: if the virino does not render tatouay and is sartorial then the fact that the winery is not on-the-job is right. sent6: if something does not stifle stratocracy that the putz is not a scone but translunar is false. sent7: that the putz is a scone and is translunar is not true. sent8: the fact that something does not render tatouay and is sartorial is true if it is a kind of a perfumed. sent9: the jasper is not lawful and it does not eulogize soldiering if the winery is not on-the-job. sent10: if there is something such that it does not stifle stratocracy that the putz is a kind of a scone that is translunar is not true. sent11: the jasper is a kind of a surveyor that does not eulogize graining if it does not enroll. sent12: something does stifle stratocracy. ; $proof$ = 
void -> assump1: Let's assume that the jasper does not enroll.; sent11 & assump1 -> int1: the jasper is a surveyor that does not eulogize graining.; sent1 & sent4 -> int2: the fact that that the jasper is a kind of a surveyor and does not eulogize graining hold does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the jasper enrolls is correct.; __UNKNOWN__