Anne is kind. Anne is smart. Dave is red. Fiona is cold. Fiona is not furry. Fiona is kind. Gary is red. If Gary is red and Gary is blue then Gary is kind. If someone is smart then they are white. All furry, blue people are cold. All smart, red people are cold. All furry people are blue. Smart people are white. If someone is red then they are furry. All kind, cold people are smart. If Dave is not furry then Dave is red.
Fiona is smart.