Charlie is rough. Dave is green. Fiona is rough. Fiona is smart. Gary is big. Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is smart. If Dave is smart and Dave is nice then Dave is red. All big, quiet people are nice.
Gary is not rough.