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