Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is red. Bob is white. Erin is blue. Erin is cold. Erin is green. Erin is red. Erin is smart. Erin is white. Fiona is blue. Fiona is red. Fiona is smart. If Fiona is red and Fiona is cold then Fiona is blue. If something is green then it is furry. All blue things are cold.
Fiona is not furry.