Anne is blue. Anne is cold. Anne is kind. Anne is not nice. Anne is quiet. Dave is quiet. Dave is rough. Fiona is cold. Fiona is kind. Fiona is rough. If Dave is kind then Dave is not cold. All nice things are not kind. If something is not nice then it is big. If something is not nice then it is quiet. All kind, cold things are big. All quiet things are not nice. Rough, big things are blue. All big, quiet things are not nice.
Dave is nice.