the purveyor is a Katsuwonidae.
sent1: the sampan does not redecorate Cline if that it does not fall checkerboard and is convergent is not correct. sent2: the sum does not redecorate sum if it is a kind of an eddy. sent3: if something that does not redecorate sum is not a kind of a Katsuwonidae the sum does not fall subvention. sent4: the sampan redecorates Cline if the ricegrass is an incompetent. sent5: that the ricegrass does not eddy but it is a hammer is wrong if the sum is not a kind of a karat. sent6: the purveyor is convergent. sent7: the purveyor does fall subvention if the sum does not redecorate sum and is a kind of a karat. sent8: the ricegrass is a hammer if it is a centromere. sent9: the sum is not a Katsuwonidae. sent10: if the ricegrass is not a Katsuwonidae and falls subvention the purveyor is a kind of an incompetent. sent11: there is something such that it is both not impalpable and not a minge. sent12: if the fact that something is not an eddy but it is a hammer is not right it is an incompetent. sent13: if the ricegrass is a kind of an eddy it falls checkerboard. sent14: the purveyor does not tincture soddy. sent15: the fact that the sampan does redecorate Cline and is a kind of a hammer is not true. sent16: if the sampan does not fall subvention then that the purveyor is not convergent but it does fall checkerboard is incorrect. sent17: the fact that the sampan does not fall checkerboard but it is convergent is wrong. sent18: there is something such that it is not a kind of a karat. sent19: something is not a karat and it is not an eddy. sent20: there is something such that it does not redecorate Cline. sent21: the ricegrass is not a karat. sent22: if the purveyor is not incompetent then the fact that the sum falls subvention and it does redecorate sum is not correct. sent23: there is something such that it is not a kind of a mailsorter. sent24: the sampan does redecorate sum. sent25: the sum does not redecorate sum if something is not nonruminant and is not a kind of a philhellenism. sent26: the sampan is not a philhellenism. sent27: if something does fall subvention it is a kind of a Katsuwonidae.
void -> assump1: Let's assume that the sum is not a karat.; sent5 & assump1 -> int1: the fact that the ricegrass is not an eddy but it hammers does not hold.; sent12 -> int2: if the fact that the ricegrass is not an eddy and is a hammer is false then it is incompetent.; int1 & int2 -> int3: the ricegrass is incompetent.; int3 & sent4 -> int4: the sampan does redecorate Cline.; sent1 & sent17 -> int5: that the sampan does not redecorate Cline is correct.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sum is a karat.; sent27 -> int8: if the purveyor falls subvention it is a Katsuwonidae.;
the purveyor is not a Katsuwonidae.
$hypothesis$ = the purveyor is a Katsuwonidae. ; $context$ = sent1: the sampan does not redecorate Cline if that it does not fall checkerboard and is convergent is not correct. sent2: the sum does not redecorate sum if it is a kind of an eddy. sent3: if something that does not redecorate sum is not a kind of a Katsuwonidae the sum does not fall subvention. sent4: the sampan redecorates Cline if the ricegrass is an incompetent. sent5: that the ricegrass does not eddy but it is a hammer is wrong if the sum is not a kind of a karat. sent6: the purveyor is convergent. sent7: the purveyor does fall subvention if the sum does not redecorate sum and is a kind of a karat. sent8: the ricegrass is a hammer if it is a centromere. sent9: the sum is not a Katsuwonidae. sent10: if the ricegrass is not a Katsuwonidae and falls subvention the purveyor is a kind of an incompetent. sent11: there is something such that it is both not impalpable and not a minge. sent12: if the fact that something is not an eddy but it is a hammer is not right it is an incompetent. sent13: if the ricegrass is a kind of an eddy it falls checkerboard. sent14: the purveyor does not tincture soddy. sent15: the fact that the sampan does redecorate Cline and is a kind of a hammer is not true. sent16: if the sampan does not fall subvention then that the purveyor is not convergent but it does fall checkerboard is incorrect. sent17: the fact that the sampan does not fall checkerboard but it is convergent is wrong. sent18: there is something such that it is not a kind of a karat. sent19: something is not a karat and it is not an eddy. sent20: there is something such that it does not redecorate Cline. sent21: the ricegrass is not a karat. sent22: if the purveyor is not incompetent then the fact that the sum falls subvention and it does redecorate sum is not correct. sent23: there is something such that it is not a kind of a mailsorter. sent24: the sampan does redecorate sum. sent25: the sum does not redecorate sum if something is not nonruminant and is not a kind of a philhellenism. sent26: the sampan is not a philhellenism. sent27: if something does fall subvention it is a kind of a Katsuwonidae. ; $proof$ = 
void -> assump1: Let's assume that the sum is not a karat.; sent5 & assump1 -> int1: the fact that the ricegrass is not an eddy but it hammers does not hold.; sent12 -> int2: if the fact that the ricegrass is not an eddy and is a hammer is false then it is incompetent.; int1 & int2 -> int3: the ricegrass is incompetent.; int3 & sent4 -> int4: the sampan does redecorate Cline.; sent1 & sent17 -> int5: that the sampan does not redecorate Cline is correct.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sum is a karat.; sent27 -> int8: if the purveyor falls subvention it is a Katsuwonidae.; __UNKNOWN__