Bob is kind. Charlie is green. Dave is nice. Harry is green. Green people are kind. Smart, green people are cold. If someone is nice then they are kind. If someone is kind and not red then they are smart. If someone is not kind then they are big. If Harry is not cold then Harry is big.
Dave is nice.