Charlie is furry. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Dave is cold. Erin is cold. Erin is smart. Gary is cold. Gary is rough. All blue, rough things are nice. If something is red and furry then it is rough. All blue things are nice. Rough things are red. If something is smart then it is red. Cold, nice things are rough. If something is rough and furry then it is blue. All red things are furry.
Dave is smart.