Anne is big. Anne is blue. Anne is green. Dave is big. Dave is blue. Dave is not cold. Dave is nice. Dave is red. Erin is big. Erin is cold. If Anne is green and Anne is red then Anne is cold. If someone is green then they are red. If Anne is furry and Anne is not red then Anne is not blue.
Anne is not cold.