Anne is blue. Anne is rough. Anne is smart. Bob is blue. Bob is cold. Bob is nice. Gary is nice. Harry is big. Harry is blue. Harry is cold. Harry is nice. Harry is red. Harry is rough. Harry is smart. Cold, blue people are rough. All smart, nice people are blue. All nice, blue people are cold. If someone is nice then they are big. Red people are smart. All nice, red people are smart. All big, blue people are cold. If someone is big and nice then they are smart.
Gary is cold.