Anne is not big. Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is round. Anne is smart. Dave is big. Dave is blue. Dave is round. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is not kind. Harry is round. If someone is big and not cold then they are smart. If someone is not cold and not big then they are not kind. If someone is kind and not cold then they are green. If someone is smart and blue then they are round. If Anne is big then Anne is green. If someone is not kind then they are round.
Anne is not smart.