the earthenware is not a woodpecker.
sent1: if that the flatterer does not socialize cutter is not incorrect it is a corporatist and it does not gather Bethlehem. sent2: the great-nephew is Assamese. sent3: the sixth-former is maturational if it is a resinoid and pragmatics. sent4: the sixth-former is not a kind of a resinoid. sent5: the sixth-former socializes orthoepist. sent6: The orthoepist socializes sixth-former. sent7: the flatterer does not gather Bethlehem. sent8: if the great-nephew is a kind of a Assamese then the sixth-former is both not a resinoid and pragmatics. sent9: there is something such that it is a kind of a Singaporean that is not non-maturational. sent10: if the flatterer is a kind of a corporatist the earthenware is not a woodpecker. sent11: the sixth-former does invoke sixth-former. sent12: if a non-Singaporean thing is not non-maturational then the flatterer does not socialize cutter. sent13: there are non-Singaporean things. sent14: there is something such that that it is not non-maturational is true. sent15: if something is not a resinoid but it is a pragmatics it is maturational. sent16: if something is a kind of a resinoid and it is pragmatics then it is maturational. sent17: that the flatterer does not gather Bethlehem is right if it does not socialize cutter. sent18: The sixth-former does invoke sixth-former.
sent5 & sent11 -> int1: the sixth-former does socialize orthoepist and it does invoke sixth-former.; sent15 -> int2: the sixth-former is maturational if it is not a resinoid and it is a kind of a pragmatics.; sent8 & sent2 -> int3: the sixth-former is not a resinoid but it is a pragmatics.; int2 & int3 -> int4: the sixth-former is maturational.;
$hypothesis$ = the earthenware is not a woodpecker. ; $context$ = sent1: if that the flatterer does not socialize cutter is not incorrect it is a corporatist and it does not gather Bethlehem. sent2: the great-nephew is Assamese. sent3: the sixth-former is maturational if it is a resinoid and pragmatics. sent4: the sixth-former is not a kind of a resinoid. sent5: the sixth-former socializes orthoepist. sent6: The orthoepist socializes sixth-former. sent7: the flatterer does not gather Bethlehem. sent8: if the great-nephew is a kind of a Assamese then the sixth-former is both not a resinoid and pragmatics. sent9: there is something such that it is a kind of a Singaporean that is not non-maturational. sent10: if the flatterer is a kind of a corporatist the earthenware is not a woodpecker. sent11: the sixth-former does invoke sixth-former. sent12: if a non-Singaporean thing is not non-maturational then the flatterer does not socialize cutter. sent13: there are non-Singaporean things. sent14: there is something such that that it is not non-maturational is true. sent15: if something is not a resinoid but it is a pragmatics it is maturational. sent16: if something is a kind of a resinoid and it is pragmatics then it is maturational. sent17: that the flatterer does not gather Bethlehem is right if it does not socialize cutter. sent18: The sixth-former does invoke sixth-former. ; $proof$ = 
sent5 & sent11 -> int1: the sixth-former does socialize orthoepist and it does invoke sixth-former.; sent15 -> int2: the sixth-former is maturational if it is not a resinoid and it is a kind of a pragmatics.; sent8 & sent2 -> int3: the sixth-former is not a resinoid but it is a pragmatics.; int2 & int3 -> int4: the sixth-former is maturational.; __UNKNOWN__