Bob is big. Bob is blue. Bob is not cold. Bob is quiet. Bob is red. Charlie is blue. Charlie is quiet. Dave is kind. Fiona is not cold. Fiona is red. All big, quiet things are green. If something is not quiet then it is blue.
Dave is not green.