Anne is cold. Anne is green. Bob is green. Dave is cold. Dave is green. Dave is kind. Dave is red. Dave is smart. Dave is white. Fiona is green. Fiona is round. Fiona is smart. If something is white then it is red. If something is kind and red then it is cold. All red, cold things are white. If something is green then it is white. Red things are smart. White things are round. If something is smart and round then it is kind. Smart things are red.
Anne is green.