the knacker is non-polemoniaceous but it is a Welty.
sent1: that something is non-polemoniaceous a Welty is false if it is a symbolization. sent2: the fact that either the knacker is a kind of a entr'acte or it is a binary or both is wrong if there is something such that it is not a symbolization. sent3: if the knacker is not a raja that it is a child is not incorrect. sent4: that the vizier plays aphakic or it is polemoniaceous or both is wrong. sent5: the fact that the fact that the upholder is a binary that vociferates is not correct hold. sent6: something is not polemoniaceous but a Welty if it is judgmental. sent7: if that something is judgmental hold then it is a Welty. sent8: the fact that the knacker is not a binary is not incorrect if there exists something such that it is not a kind of a symbolization. sent9: something is disposable if it does vociferate. sent10: something is addictive if it pothers. sent11: the knacker is not a peneplain if the fact that the fact that it is dizygotic and/or is a Welty is true is not right. sent12: if the knacker is a kind of a disposable then it is judgmental. sent13: the knacker is polemoniaceous if it is not arbitrary. sent14: if the knacker is not a kind of a shroud then it vociferates. sent15: the knacker is not a kind of a shroud if that it is a entr'acte or is binary or both is false.
sent9 -> int1: the knacker is a disposable if it does vociferate.; sent6 -> int2: if the knacker is judgmental it is not polemoniaceous and it is a kind of a Welty.;
the fact that the knacker is not polemoniaceous and is a Welty is not correct.
sent1 -> int3: the fact that the knacker is not polemoniaceous and is a Welty does not hold if it is a symbolization.; sent5 -> int4: there exists something such that the fact that it is a binary that vociferates is not right.;
$hypothesis$ = the knacker is non-polemoniaceous but it is a Welty. ; $context$ = sent1: that something is non-polemoniaceous a Welty is false if it is a symbolization. sent2: the fact that either the knacker is a kind of a entr'acte or it is a binary or both is wrong if there is something such that it is not a symbolization. sent3: if the knacker is not a raja that it is a child is not incorrect. sent4: that the vizier plays aphakic or it is polemoniaceous or both is wrong. sent5: the fact that the fact that the upholder is a binary that vociferates is not correct hold. sent6: something is not polemoniaceous but a Welty if it is judgmental. sent7: if that something is judgmental hold then it is a Welty. sent8: the fact that the knacker is not a binary is not incorrect if there exists something such that it is not a kind of a symbolization. sent9: something is disposable if it does vociferate. sent10: something is addictive if it pothers. sent11: the knacker is not a peneplain if the fact that the fact that it is dizygotic and/or is a Welty is true is not right. sent12: if the knacker is a kind of a disposable then it is judgmental. sent13: the knacker is polemoniaceous if it is not arbitrary. sent14: if the knacker is not a kind of a shroud then it vociferates. sent15: the knacker is not a kind of a shroud if that it is a entr'acte or is binary or both is false. ; $proof$ = 
sent9 -> int1: the knacker is a disposable if it does vociferate.; sent6 -> int2: if the knacker is judgmental it is not polemoniaceous and it is a kind of a Welty.; __UNKNOWN__