Bob is blue. Bob is cold. Bob is nice. Bob is rough. Bob is smart. Charlie is big. Charlie is blue. Erin is blue. Gary is nice. Gary is smart. If Erin is rough then Erin is nice. Nice people are white. If someone is rough then they are nice. All blue people are rough. If someone is blue and white then they are nice. All big people are nice. All blue, smart people are white. If someone is big and cold then they are rough.
Gary is not blue.