Anne is smart. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is not smart. Dave is not cold. Dave is nice. Erin is cold. If someone is quiet then they are green. If someone is cold and red then they are kind. Nice, green people are kind.
Dave is not kind.