Anne is kind. Anne is round. Anne is young. Dave is kind. Dave is nice. Dave is red. Dave is round. All green, young people are nice. Smart people are green. If someone is nice and round then they are red.
Dave is not kind.