the headstock is not thermodynamics.
sent1: the teapot does not bury revoke. sent2: if the tie is not a kind of a dais it is tonsorial and is not a inamorata. sent3: the headstock is inoperative if it is thermodynamics. sent4: if something that is a kind of a detergency is not non-strategics then it is not a currency. sent5: if the techie is an acclaim the teapot is a kind of a Linotype. sent6: if the tie does not bury revoke and is not an acclaim the teapot is a inamorata. sent7: that the techie is tonsorial is incorrect. sent8: the techie is a rent-roll. sent9: if the headstock is inoperative then the techie is a kind of a Linotype. sent10: the tie is a kind of a Aten and it is a kind of a rent-roll. sent11: if the tie is both a Aten and a rent-roll then it is not a dais. sent12: the techie is both inoperative and an acclaim if there is something such that it does bury revoke. sent13: the teapot does not bury revoke and it is not a kind of an acclaim if something is a kind of a Linotype.
void -> assump1: Let's assume that that the headstock is thermodynamics hold.; sent3 & assump1 -> int1: that the headstock is inoperative is not wrong.; int1 & sent9 -> int2: the techie is a Linotype.; int2 -> int3: there exists something such that it is a Linotype.; int3 & sent13 -> int4: the teapot does not bury revoke and does not acclaim.; sent11 & sent10 -> int5: the tie is not a dais.; sent2 & int5 -> int6: the tie is tonsorial and not a inamorata.; int6 -> int7: the tie is not a inamorata.;
the headstock is thermodynamics.
$hypothesis$ = the headstock is not thermodynamics. ; $context$ = sent1: the teapot does not bury revoke. sent2: if the tie is not a kind of a dais it is tonsorial and is not a inamorata. sent3: the headstock is inoperative if it is thermodynamics. sent4: if something that is a kind of a detergency is not non-strategics then it is not a currency. sent5: if the techie is an acclaim the teapot is a kind of a Linotype. sent6: if the tie does not bury revoke and is not an acclaim the teapot is a inamorata. sent7: that the techie is tonsorial is incorrect. sent8: the techie is a rent-roll. sent9: if the headstock is inoperative then the techie is a kind of a Linotype. sent10: the tie is a kind of a Aten and it is a kind of a rent-roll. sent11: if the tie is both a Aten and a rent-roll then it is not a dais. sent12: the techie is both inoperative and an acclaim if there is something such that it does bury revoke. sent13: the teapot does not bury revoke and it is not a kind of an acclaim if something is a kind of a Linotype. ; $proof$ = 
void -> assump1: Let's assume that that the headstock is thermodynamics hold.; sent3 & assump1 -> int1: that the headstock is inoperative is not wrong.; int1 & sent9 -> int2: the techie is a Linotype.; int2 -> int3: there exists something such that it is a Linotype.; int3 & sent13 -> int4: the teapot does not bury revoke and does not acclaim.; sent11 & sent10 -> int5: the tie is not a dais.; sent2 & int5 -> int6: the tie is tonsorial and not a inamorata.; int6 -> int7: the tie is not a inamorata.; __UNKNOWN__