Charlie is green. Charlie is quiet. Erin is big. Erin is nice. Erin is rough. Gary is big. Gary is green. Gary is red. Gary is rough. Gary is smart. All red people are rough. Big, green people are rough. If someone is red then they are quiet. Green people are smart. All nice, big people are red. All quiet people are green.
Gary is not green.