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