Anne is nice. Anne is red. Bob is cold. Bob is nice. Bob is round. Charlie is blue. Charlie is not red. Fiona is cold. Fiona is nice. Fiona is young. If Fiona is green then Fiona is not blue. If someone is young then they are round. If Fiona is cold and Fiona is green then Fiona is blue.
Bob is not cold.