Bob is not big. Bob is blue. Bob is furry. Bob is red. Bob is young. Charlie is cold. Charlie is furry. Charlie is smart. Charlie is young. Dave is cold. Dave is smart. Dave is young. Harry is big. Harry is cold. Harry is not red. Harry is smart. If something is not furry then it is smart. If something is blue and furry then it is smart. All big things are blue.
Charlie is red.