Anne is cold. Anne is kind. Anne is smart. Bob is smart. Dave is red. Dave is round. Fiona is furry. All red, green people are smart. If Dave is kind then Dave is red. If Dave is cold and Dave is red then Dave is green.
Dave is round.