Anne is not green. Bob is kind. Dave is green. All cold people are nice. If Bob is kind and Bob is white then Bob is cold. If someone is nice then they are not cold. If someone is not kind and not cold then they are big. If Anne is not big and Anne is not blue then Anne is not nice. If someone is white and not big then they are not nice.
Dave is not green.