Alan is kind. Eric is rough. Eric is blue. Gary is red. Gary is kind. Gary is cold. Harry is red. If someone is kind and red then they are blue. If someone is cold and rough then they are red. If someone is big then they are rough. If someone is blue and cold then they are big.
Gary is not blue.