Charlie is kind. Dave is blue. Dave is kind. Dave is quiet. Fiona is big. Fiona is young. Harry is quiet. If something is quiet then it is kind. All white things are quiet. If something is white then it is blue. Smart, quiet things are blue. All young, quiet things are white. Smart things are big. All smart, blue things are quiet. Blue things are young.
Dave is not white.