Dave is furry. Dave is kind. Dave is red. Dave is smart. Fiona is red. Fiona is smart. Fiona is white. Gary is furry. Gary is round. Gary is smart. If Gary is smart then Gary is white. Red things are white. Furry, round things are smart. If something is smart then it is young. Round things are furry. All red things are furry.
Dave is not red.