Bob is cold. Bob is round. Bob is smart. Bob is white. Charlie is blue. Charlie is cold. Charlie is smart. Charlie is white. Erin is round. Erin is smart. Smart, blue things are white. If something is smart and white then it is rough. Red things are rough. Blue things are rough. All rough things are blue. All blue, white things are red.
Erin is not blue.