the local squinches if the fact that the origin is not a misdemeanor but a romance is not right.
sent1: if the toner averages draped the local is a squinch. sent2: the toner does squinch. sent3: if the knout is dyadic the fact that the toner is an aspect but it is not dyadic is incorrect. sent4: the toner is evidentiary. sent5: the fact that the origin is not a misdemeanor but it averages draped is not correct. sent6: if the fact that something is an aspect but it is not dyadic is not right then it is a tidy. sent7: the origin averages draped. sent8: that the knout averages draped is not wrong if the toner is dyadic. sent9: if that the origin is not a romance but it is dyadic is not right then that the knout does average draped is true. sent10: the fact that that the local darts timecard and it is humanistic is not wrong is not right. sent11: the fact that the toner averages draped and is not a misdemeanor is not correct. sent12: if the local is a squinch the fact that it is dyadic is correct. sent13: the origin tidies. sent14: if something is a kind of a tidy then it averages draped. sent15: the knout is an aspect if it is most-favored-nation. sent16: the knout is a misdemeanor if that the origin is a kind of non-dyadic thing that is a romance does not hold. sent17: if that the toner is not dyadic but it tidies does not hold then the knout romances.
void -> assump1: Let's assume that that the origin is not a kind of a misdemeanor and is a romance is false.; sent6 -> int1: if that the toner is an aspect but it is not dyadic is incorrect then that it is tidy is right.; sent14 -> int2: if the toner is a tidy then it averages draped.;
$hypothesis$ = the local squinches if the fact that the origin is not a misdemeanor but a romance is not right. ; $context$ = sent1: if the toner averages draped the local is a squinch. sent2: the toner does squinch. sent3: if the knout is dyadic the fact that the toner is an aspect but it is not dyadic is incorrect. sent4: the toner is evidentiary. sent5: the fact that the origin is not a misdemeanor but it averages draped is not correct. sent6: if the fact that something is an aspect but it is not dyadic is not right then it is a tidy. sent7: the origin averages draped. sent8: that the knout averages draped is not wrong if the toner is dyadic. sent9: if that the origin is not a romance but it is dyadic is not right then that the knout does average draped is true. sent10: the fact that that the local darts timecard and it is humanistic is not wrong is not right. sent11: the fact that the toner averages draped and is not a misdemeanor is not correct. sent12: if the local is a squinch the fact that it is dyadic is correct. sent13: the origin tidies. sent14: if something is a kind of a tidy then it averages draped. sent15: the knout is an aspect if it is most-favored-nation. sent16: the knout is a misdemeanor if that the origin is a kind of non-dyadic thing that is a romance does not hold. sent17: if that the toner is not dyadic but it tidies does not hold then the knout romances. ; $proof$ = 
void -> assump1: Let's assume that that the origin is not a kind of a misdemeanor and is a romance is false.; sent6 -> int1: if that the toner is an aspect but it is not dyadic is incorrect then that it is tidy is right.; sent14 -> int2: if the toner is a tidy then it averages draped.; __UNKNOWN__