Anne is cold. Anne is kind. Anne is quiet. Anne is red. Bob is green. Bob is red. Bob is smart. Bob is white. Dave is green. Dave is kind. Dave is smart. Dave is white. Erin is cold. Erin is kind. Erin is red. Erin is white. If Dave is kind then Dave is cold. All white things are smart.
Bob is quiet.