Dave is nice. Erin is smart. Gary is green. If someone is quiet then they are green. All green, quiet people are smart. If Dave is blue then Dave is red. If someone is green then they are quiet. If Gary is nice then Gary is blue. If someone is green then they are nice.
Gary is not quiet.