Bob is furry. Bob is kind. Bob is rough. Charlie is kind. Dave is furry. Dave is kind. Dave is not red. Dave is rough. Dave is smart. Harry is rough. All blue, kind things are big. If something is smart then it is not red. If something is smart then it is kind. All rough things are blue. Big, rough things are furry. All smart things are blue. All blue things are smart.
Charlie is furry.