Anne is big. Anne is not blue. Anne is green. Anne is quiet. Anne is red. Anne is not rough. Anne is smart. Charlie is big. Charlie is rough. Dave is red. Dave is smart. Gary is not blue. Gary is not quiet. Gary is red. Gary is smart. If someone is not green then they are smart.
Anne is not smart.