Charlie is furry. Dave is kind. Fiona is not young. Gary is not cold. All blue, red things are not smart. If something is young then it is furry. If something is young then it is furry. If something is kind then it is blue. If something is furry and not kind then it is not red. If Gary is not smart then Gary is not red. Blue things are red. If something is not blue then it is not smart.
Fiona is smart.