Anne is cold. Anne is quiet. Anne is red. Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is young. Dave is blue. Dave is cold. Dave is kind. Dave is quiet. Dave is red. Dave is young. Green, young people are quiet. If someone is kind then they are green. All kind, green people are red. All quiet, young people are cold. Cold people are kind. Green people are young. If Anne is red then Anne is cold. All kind people are young.
Dave is green.