Anne is green. Anne is round. Anne is not young. Charlie is cold. Charlie is kind. Charlie is not round. Dave is green. Dave is kind. Harry is big. Harry is not green. Harry is red. Harry is young. All red things are big. Big things are round. If something is red and not young then it is kind. If something is round and big then it is not kind. If something is not round and not red then it is cold. If Anne is not big then Anne is cold.
Anne is red.