Dave is big. Dave is furry. Dave is smart. Dave is young. Fiona is furry. Fiona is young. Gary is furry. All young things are furry. If Gary is smart and Gary is furry then Gary is red. Smart things are young. All big things are blue. All red, blue things are quiet. Red, quiet things are furry. All blue, big things are quiet. All big, blue things are furry.
Gary is not red.