Bob is not big. Bob is cold. Bob is not green. Bob is not kind. Bob is red. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Dave is not big. Dave is cold. Dave is green. Dave is red. Fiona is big. Fiona is green. If someone is red and not big then they are nice.
Dave is not nice.