Anne is blue. Anne is cold. Anne is green. Anne is nice. Bob is cold. Bob is furry. Bob is green. Bob is young. Fiona is furry. Fiona is red. All cold people are young. If Bob is cold and Bob is furry then Bob is blue. Young, blue people are furry.
Fiona is red.