the gravedigger does not bask cleric.
sent1: the glycol does not salve if the hydrocarbon is unerect. sent2: if the clergyman is a formulary then that the supermom is a formulary is right. sent3: that something is not a salve and it is not a formulary is wrong if it is evil. sent4: something that is non-formulary is a salve and basks cleric. sent5: the examiner is not evil if the fact that the glycol is not a Noctuidae hold. sent6: the vernier is hydrous. sent7: the clergyman is formulary. sent8: the supermom is not a formulary if the hydrocarbon is a kind of a monochrome and is not unerect. sent9: the hydrocarbon salves if the fact that the supermom is not a salves and is not formulary is not right. sent10: the examiner is hydrous if the vernier is not hydrous. sent11: the glycol is not unerect if the hydrocarbon does not salve but it is a kind of a Noctuidae. sent12: the gravedigger does not bask cleric if the lineman is not photomechanical. sent13: the hydrocarbon is not unerect. sent14: the vernier is not a Noctuidae. sent15: the lineman is not photomechanical if the examiner is not an evil but it is hydrous. sent16: the Humvee is a kind of a salve that is not a kind of a dactylomegaly. sent17: if that the hydrocarbon is a kind of a monochrome and is not unerect is wrong then the glycol is not a kind of a salve.
void -> assump1: Let's assume that the hydrocarbon is a kind of a monochrome that is not unerect.; sent8 & assump1 -> int1: the supermom is not a formulary.; sent2 & sent7 -> int2: the supermom is formulary.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the hydrocarbon is a kind of a monochrome but it is not unerect does not hold.; int4 & sent17 -> int5: the glycol is not a salve.; sent10 & sent6 -> int6: the examiner is hydrous.;
the gravedigger does bask cleric.
sent4 -> int7: the gravedigger does salve and it does bask cleric if it is not a formulary.;
$hypothesis$ = the gravedigger does not bask cleric. ; $context$ = sent1: the glycol does not salve if the hydrocarbon is unerect. sent2: if the clergyman is a formulary then that the supermom is a formulary is right. sent3: that something is not a salve and it is not a formulary is wrong if it is evil. sent4: something that is non-formulary is a salve and basks cleric. sent5: the examiner is not evil if the fact that the glycol is not a Noctuidae hold. sent6: the vernier is hydrous. sent7: the clergyman is formulary. sent8: the supermom is not a formulary if the hydrocarbon is a kind of a monochrome and is not unerect. sent9: the hydrocarbon salves if the fact that the supermom is not a salves and is not formulary is not right. sent10: the examiner is hydrous if the vernier is not hydrous. sent11: the glycol is not unerect if the hydrocarbon does not salve but it is a kind of a Noctuidae. sent12: the gravedigger does not bask cleric if the lineman is not photomechanical. sent13: the hydrocarbon is not unerect. sent14: the vernier is not a Noctuidae. sent15: the lineman is not photomechanical if the examiner is not an evil but it is hydrous. sent16: the Humvee is a kind of a salve that is not a kind of a dactylomegaly. sent17: if that the hydrocarbon is a kind of a monochrome and is not unerect is wrong then the glycol is not a kind of a salve. ; $proof$ = 
void -> assump1: Let's assume that the hydrocarbon is a kind of a monochrome that is not unerect.; sent8 & assump1 -> int1: the supermom is not a formulary.; sent2 & sent7 -> int2: the supermom is formulary.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the hydrocarbon is a kind of a monochrome but it is not unerect does not hold.; int4 & sent17 -> int5: the glycol is not a salve.; sent10 & sent6 -> int6: the examiner is hydrous.; __UNKNOWN__