Anne is quiet. Anne is not smart. Bob is not red. Bob is rough. Bob is smart. Bob is young. Charlie is rough. Charlie is smart. Dave is red. Dave is smart. If someone is not smart then they are round. If someone is rough then they are young. If someone is smart and young then they are green. If someone is red and smart then they are not rough. If someone is rough and not smart then they are red. Green people are not red. If someone is red and not young then they are not quiet. If someone is not round and not green then they are red.
Anne is not smart.