Anne is kind. Anne is quiet. Anne is round. Dave is blue. Dave is kind. Dave is round. Dave is smart. Fiona is quiet. Fiona is round. Fiona is smart. Gary is blue. Gary is green. Gary is kind. Gary is nice. Gary is quiet. If something is kind then it is blue. If something is round and smart then it is quiet. If Fiona is smart and Fiona is kind then Fiona is round. If Fiona is smart then Fiona is green. If Dave is blue and Dave is smart then Dave is nice. All kind things are round.
Dave is not nice.