Anne is cold. Bob is quiet. Bob is rough. Erin is rough. Gary is blue. Gary is not red. Gary is young. If someone is smart and not young then they are not blue. If Erin is quiet and Erin is cold then Erin is smart. Cold, rough people are not blue. If someone is red and not blue then they are smart. If Anne is rough and Anne is quiet then Anne is smart. Quiet people are red. If someone is blue then they are rough. If someone is quiet and not smart then they are not young.
Bob is not blue.