Dave is blue. Dave is furry. Dave is not kind. Fiona is blue. Fiona is kind. Fiona is rough. Gary is blue. Gary is furry. Gary is nice. Gary is red. Harry is kind. Harry is red. Rough, smart people are furry. All furry, red people are rough. If someone is rough then they are smart. All red people are furry. If someone is nice and furry then they are blue. If Harry is smart and Harry is rough then Harry is nice. If someone is kind and not smart then they are nice. If someone is furry and not blue then they are kind.
Dave is not smart.