Anne is not kind. Anne is red. Bob is nice. Bob is red. Bob is not smart. Dave is kind. Dave is red. Round things are kind. If something is blue and red then it is round. All green things are not red. If something is blue and not green then it is round. All round things are nice. Nice things are blue.
Dave is green.