Anne is smart. Dave is rough. Fiona is red. Fiona is white. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is smart. Gary is white. If someone is rough then they are furry. White people are rough. All smart people are white. All kind people are smart. If Fiona is furry then Fiona is red. If Dave is smart and Dave is furry then Dave is red.
Anne is not furry.