Charlie is furry. Charlie is rough. Dave is blue. Dave is furry. Dave is white. Erin is nice. Erin is rough. Erin is smart. Harry is blue. Harry is cold. Harry is furry. Harry is white. White, nice things are rough. All cold, smart things are white. If something is white and rough then it is nice. Rough things are smart. All furry, blue things are nice. All nice, rough things are cold. If something is smart then it is blue.
Harry is not smart.