Anne is big. Anne is round. Bob is red. Dave is cold. Dave is red. Dave is young. Harry is big. Harry is red. Harry is round. Harry is white. White, round people are cold. Big, young people are white. White, cold people are nice. If Anne is nice and Anne is round then Anne is red. Red people are young. If someone is young and nice then they are round. All young people are round. If someone is big then they are young. If Dave is cold then Dave is young.
Anne is cold.