Anne is white. Bob is cold. Bob is not quiet. Bob is round. Bob is smart. Bob is not white. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is smart. Fiona is cold. Fiona is smart. White, cold things are kind. Quiet things are smart. If Fiona is cold and Fiona is smart then Fiona is quiet. If something is round and smart then it is blue. If Fiona is quiet then Fiona is smart. If Fiona is quiet then Fiona is white. All kind, cold things are round.
Anne is not smart.