Anne is cold. Charlie is rough. Dave is nice. Erin is rough. Big people are rough. If Erin is blue then Erin is smart. All cold people are blue. All blue, cold people are nice. If someone is big and nice then they are cold. Smart people are cold.
Anne is not blue.