Charlie is big. Charlie is not blue. Dave is kind. Dave is nice. Dave is quiet. Dave is smart. Fiona is big. Fiona is cold. Fiona is kind. Fiona is quiet. If Fiona is blue and Fiona is not cold then Fiona is not quiet. If something is kind then it is smart. If something is kind then it is blue. If something is big and not smart then it is not cold. If something is not smart then it is nice. If Dave is not nice then Dave is big.
Fiona is not nice.