Anne is kind. Anne is nice. Anne is smart. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is smart. If someone is nice then they are rough. All red people are blue. If someone is rough and nice then they are red.
Anne is rough.