Bob is green. Bob is nice. Bob is smart. Erin is blue. Erin is cold. Erin is smart. Gary is smart. If something is blue and not nice then it is cold. If Bob is young and Bob is green then Bob is cold. If something is smart and not green then it is cold. If something is nice and red then it is blue. If something is green and not red then it is not cold. If something is not smart and not cold then it is not nice.
Erin is red.