Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is smart. Bob is white. Dave is kind. Dave is smart. Erin is green. Erin is smart. Erin is white. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. All white things are green. All kind, smart things are white. If something is white then it is smart. If Dave is quiet then Dave is green. If Dave is kind then Dave is quiet. All cold things are white.
Dave is not quiet.