Dave is green. Dave is kind. Dave is red. Dave is smart. Fiona is kind. Gary is furry. Gary is quiet. Gary is red. Gary is smart. Gary is young. If Fiona is smart then Fiona is young. Quiet people are green. If someone is young then they are smart. Kind people are furry. All furry, young people are red. If Fiona is red then Fiona is smart.
Gary is not red.