Anne is quiet. Bob is nice. Dave is not green. Gary is not red. If someone is not kind then they are not smart. If Bob is green and Bob is not kind then Bob is red. Blue people are quiet.
Gary is kind.