the fact that the hoatzin is not a kind of a Palmae is not false.
sent1: that the hoatzin is a kind of a Tyche hold if it dings seniority. sent2: something skims if it tames guestroom. sent3: if the hoatzin is montane and it is meaty then it is not a kind of a KP. sent4: that the hoatzin is not a peak is right. sent5: something is a Suidae but it is not a peak if it does ding seniority. sent6: the confidante is not an incisor if it is a kind of a KP. sent7: the hoatzin is a peak if it dings advancer and it is not a Palmae. sent8: something that is not a fingerstall and not a KP is not a rotifer. sent9: if the hoatzin does ding advancer and is a kind of a KP it is not a peak. sent10: if the hoatzin does not ding advancer then it is a kind of nonalcoholic thing that is not most-favored-nation. sent11: that something is not a fingerstall and dings advancer is not correct if it is not a rotifer. sent12: something is Aeschylean if it is a kind of a macrame. sent13: the confidante does ding advancer and it is a fingerstall. sent14: if the hoatzin is a KP then it is not odorous. sent15: something is a 1530s but it is not a kind of a Tyche if it murmurs apache. sent16: if the confidante is a fingerstall then the hoatzin is not a fingerstall and it is not a KP. sent17: the fact that the hoatzin is not a fingerstall is correct. sent18: if something that is a Suidae does not peak it is not a Palmae. sent19: something dings seniority if it is a rotifer.
sent13 -> int1: the confidante is a fingerstall.; int1 & sent16 -> int2: the hoatzin is not a kind of a fingerstall and it is not a KP.; sent8 -> int3: the fact that if the hoatzin is not a fingerstall and it is not a kind of the KP the hoatzin is a kind of a rotifer hold.; int2 & int3 -> int4: the hoatzin is a kind of a rotifer.; sent19 -> int5: the hoatzin does ding seniority if it is a rotifer.; int4 & int5 -> int6: the hoatzin dings seniority.; sent5 -> int7: if the hoatzin dings seniority it is a Suidae and it is not a kind of a peak.; int6 & int7 -> int8: the hoatzin is a Suidae but it is not a kind of a peak.; sent18 -> int9: the hoatzin is not a kind of a Palmae if it is a Suidae and it is not a peak.; int8 & int9 -> hypothesis;
the hoatzin is nonalcoholic and not most-favored-nation.
sent11 -> int10: if the confidante is not a kind of a rotifer the fact that it is not a fingerstall and it does ding advancer is not true.;
$hypothesis$ = the fact that the hoatzin is not a kind of a Palmae is not false. ; $context$ = sent1: that the hoatzin is a kind of a Tyche hold if it dings seniority. sent2: something skims if it tames guestroom. sent3: if the hoatzin is montane and it is meaty then it is not a kind of a KP. sent4: that the hoatzin is not a peak is right. sent5: something is a Suidae but it is not a peak if it does ding seniority. sent6: the confidante is not an incisor if it is a kind of a KP. sent7: the hoatzin is a peak if it dings advancer and it is not a Palmae. sent8: something that is not a fingerstall and not a KP is not a rotifer. sent9: if the hoatzin does ding advancer and is a kind of a KP it is not a peak. sent10: if the hoatzin does not ding advancer then it is a kind of nonalcoholic thing that is not most-favored-nation. sent11: that something is not a fingerstall and dings advancer is not correct if it is not a rotifer. sent12: something is Aeschylean if it is a kind of a macrame. sent13: the confidante does ding advancer and it is a fingerstall. sent14: if the hoatzin is a KP then it is not odorous. sent15: something is a 1530s but it is not a kind of a Tyche if it murmurs apache. sent16: if the confidante is a fingerstall then the hoatzin is not a fingerstall and it is not a KP. sent17: the fact that the hoatzin is not a fingerstall is correct. sent18: if something that is a Suidae does not peak it is not a Palmae. sent19: something dings seniority if it is a rotifer. ; $proof$ = 
sent13 -> int1: the confidante is a fingerstall.; int1 & sent16 -> int2: the hoatzin is not a kind of a fingerstall and it is not a KP.; sent8 -> int3: the fact that if the hoatzin is not a fingerstall and it is not a kind of the KP the hoatzin is a kind of a rotifer hold.; int2 & int3 -> int4: the hoatzin is a kind of a rotifer.; sent19 -> int5: the hoatzin does ding seniority if it is a rotifer.; int4 & int5 -> int6: the hoatzin dings seniority.; sent5 -> int7: if the hoatzin dings seniority it is a Suidae and it is not a kind of a peak.; int6 & int7 -> int8: the hoatzin is a Suidae but it is not a kind of a peak.; sent18 -> int9: the hoatzin is not a kind of a Palmae if it is a Suidae and it is not a peak.; int8 & int9 -> hypothesis; __PROVED__