the Smith is a cluck.
sent1: if there is something such that the fact that it does patrol and it is not unselfish is incorrect the marabou is not an unwillingness. sent2: if the wakeboard is an unwillingness then the Smith does not offer used-car but it is trivalent. sent3: the Smith does cluck if something that does not strain residue unravels. sent4: there are foreign and non-painful things. sent5: if there is something such that it is an unwillingness then that the wakeboard is not a cluck and/or it is not unselfish hold. sent6: if the nitrification clucks then the wakeboard is an unwillingness. sent7: there is something such that it unravels. sent8: there exists something such that the fact that it does patrol and it is not unselfish is not correct. sent9: there exists something such that it does not strain residue. sent10: there exists something such that that it strains residue and is a kind of a cluck is false. sent11: there exists something such that the fact that it clucks and strains residue does not hold. sent12: if something is not a cluck then it does not strain residue and it is a kind of an unwillingness. sent13: the marabou does unravel if it is not an unwillingness. sent14: there is something such that it is a patrol and is not unselfish. sent15: the marabou does unravel if something that is not an unwillingness clucks. sent16: the fact that if something is not an unwillingness then it does unravel is not wrong. sent17: there is something such that that it is a kind of a patrol that is unselfish is not right. sent18: there exists something such that it is scopal and it is potent. sent19: the Smith does not strain residue. sent20: the florilegium does not unravel. sent21: the marabou is not a kind of an unwillingness if something does not patrol.
sent8 & sent1 -> int1: the marabou is not an unwillingness.;
the Smith is not a cluck.
$hypothesis$ = the Smith is a cluck. ; $context$ = sent1: if there is something such that the fact that it does patrol and it is not unselfish is incorrect the marabou is not an unwillingness. sent2: if the wakeboard is an unwillingness then the Smith does not offer used-car but it is trivalent. sent3: the Smith does cluck if something that does not strain residue unravels. sent4: there are foreign and non-painful things. sent5: if there is something such that it is an unwillingness then that the wakeboard is not a cluck and/or it is not unselfish hold. sent6: if the nitrification clucks then the wakeboard is an unwillingness. sent7: there is something such that it unravels. sent8: there exists something such that the fact that it does patrol and it is not unselfish is not correct. sent9: there exists something such that it does not strain residue. sent10: there exists something such that that it strains residue and is a kind of a cluck is false. sent11: there exists something such that the fact that it clucks and strains residue does not hold. sent12: if something is not a cluck then it does not strain residue and it is a kind of an unwillingness. sent13: the marabou does unravel if it is not an unwillingness. sent14: there is something such that it is a patrol and is not unselfish. sent15: the marabou does unravel if something that is not an unwillingness clucks. sent16: the fact that if something is not an unwillingness then it does unravel is not wrong. sent17: there is something such that that it is a kind of a patrol that is unselfish is not right. sent18: there exists something such that it is scopal and it is potent. sent19: the Smith does not strain residue. sent20: the florilegium does not unravel. sent21: the marabou is not a kind of an unwillingness if something does not patrol. ; $proof$ = 
sent8 & sent1 -> int1: the marabou is not an unwillingness.; __UNKNOWN__