Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is young. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is white. Gary is young. If something is green and quiet then it is furry.
Dave is not red.