Anne is round. Bob is big. Charlie is nice. Harry is cold. All furry people are nice. If someone is red and big then they are cold. If someone is round then they are blue. If Anne is cold then Anne is big. If someone is nice and round then they are red. Red, big people are nice. If someone is cold then they are round. If someone is big then they are blue.
Anne is not blue.