Anne is round. Bob is green. Bob is round. Bob is not smart. Bob is white. Charlie is cold. Charlie is green. Charlie is red. Charlie is round. Charlie is not smart. Charlie is not white. Fiona is not blue. Fiona is cold. Fiona is green. Fiona is round. Fiona is not white. If someone is not blue then they are green. Green people are red. If someone is not round then they are not red.
Charlie is cold.