Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is smart. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is smart. If something is smart and green then it is cold. If something is nice then it is smart. All green, smart things are blue. If something is furry and red then it is cold. Furry, cold things are smart. If Bob is blue then Bob is cold.
Bob is green.