Anne is not green. Anne is kind. Anne is not nice. Anne is rough. Bob is big. Bob is not green. Bob is kind. Bob is nice. Bob is not red. Bob is round. Charlie is kind. Charlie is red. All nice people are rough. If Charlie is red and Charlie is green then Charlie is round. Big, green people are red. If Charlie is rough and Charlie is nice then Charlie is red. If someone is not red and not nice then they are kind. If Anne is not nice and Anne is not rough then Anne is round. If someone is big and not rough then they are green. If someone is nice and not rough then they are big.
Anne is not red.