the sternocleidomastoid is not testaceous.
sent1: something does jack Cochise if it does not panic stoic. sent2: the crumpet is a kind of a stigmatic if it is not odd and it does not jack Cochise. sent3: if the missus is not unoriginal it is a Lutzen. sent4: if the crumpet is a kind of odd thing that does not jack Cochise it is stigmatic. sent5: the crumpet is not a stigmatic. sent6: the missus is an eyes or it is a Lutzen or both if it does not panic tartrate. sent7: that if the fact that the crumpet is not odd and it does not jack Cochise is wrong the tyrannid is non-fitter is right. sent8: the crumpet does not eye if the missus is both testaceous and odd. sent9: the skateboarder is a kind of an imbalance that is a stigmatic. sent10: the missus is not non-multiphase if that it is a kind of a Lutzen is right. sent11: if the fact that the fact that the missus is not a Lutzen and not an eyes is wrong is correct then it is a Lutzen. sent12: something does panic stoic and is unoriginal if it is not fitter. sent13: that something is testaceous is true if the fact that it is both not a stigmatic and non-fitter is incorrect. sent14: if the tyrannid is multiphase the crumpet is not biological and/or it is unoriginal. sent15: the tyrannid is multiphase if the missus eyes. sent16: if the missus is biological and it is multiphase the sternocleidomastoid is not testaceous. sent17: the missus is biological if the tyrannid panics stoic.
void -> assump1: Let's assume that the crumpet is not odd and it does not jack Cochise.; sent2 & assump1 -> int1: the crumpet is a stigmatic.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the crumpet is not odd and does not jack Cochise is not correct.; int3 & sent7 -> int4: the tyrannid is not fitter.; sent12 -> int5: if the tyrannid is not fitter it panics stoic and it is unoriginal.; int4 & int5 -> int6: the tyrannid does panic stoic and it is unoriginal.; int6 -> int7: the tyrannid panics stoic.; int7 & sent17 -> int8: the missus is biological.;
the sternocleidomastoid is testaceous.
sent13 -> int9: the fact that if that the sternocleidomastoid is non-stigmatic thing that is not the fitter is not correct then the sternocleidomastoid is testaceous is correct.;
$hypothesis$ = the sternocleidomastoid is not testaceous. ; $context$ = sent1: something does jack Cochise if it does not panic stoic. sent2: the crumpet is a kind of a stigmatic if it is not odd and it does not jack Cochise. sent3: if the missus is not unoriginal it is a Lutzen. sent4: if the crumpet is a kind of odd thing that does not jack Cochise it is stigmatic. sent5: the crumpet is not a stigmatic. sent6: the missus is an eyes or it is a Lutzen or both if it does not panic tartrate. sent7: that if the fact that the crumpet is not odd and it does not jack Cochise is wrong the tyrannid is non-fitter is right. sent8: the crumpet does not eye if the missus is both testaceous and odd. sent9: the skateboarder is a kind of an imbalance that is a stigmatic. sent10: the missus is not non-multiphase if that it is a kind of a Lutzen is right. sent11: if the fact that the fact that the missus is not a Lutzen and not an eyes is wrong is correct then it is a Lutzen. sent12: something does panic stoic and is unoriginal if it is not fitter. sent13: that something is testaceous is true if the fact that it is both not a stigmatic and non-fitter is incorrect. sent14: if the tyrannid is multiphase the crumpet is not biological and/or it is unoriginal. sent15: the tyrannid is multiphase if the missus eyes. sent16: if the missus is biological and it is multiphase the sternocleidomastoid is not testaceous. sent17: the missus is biological if the tyrannid panics stoic. ; $proof$ = 
void -> assump1: Let's assume that the crumpet is not odd and it does not jack Cochise.; sent2 & assump1 -> int1: the crumpet is a stigmatic.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the crumpet is not odd and does not jack Cochise is not correct.; int3 & sent7 -> int4: the tyrannid is not fitter.; sent12 -> int5: if the tyrannid is not fitter it panics stoic and it is unoriginal.; int4 & int5 -> int6: the tyrannid does panic stoic and it is unoriginal.; int6 -> int7: the tyrannid panics stoic.; int7 & sent17 -> int8: the missus is biological.; __UNKNOWN__