Bob is big. Bob is quiet. Charlie is big. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is smart. Dave is cold. Dave is not green. Dave is not kind. Dave is nice. Dave is smart. Fiona is kind. Fiona is smart. If someone is kind and smart then they are quiet. If Fiona is quiet and Fiona is green then Fiona is nice.
Fiona is not nice.