Anne is blue. Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is round. Anne is smart. Dave is green. Dave is red. Fiona is blue. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. If someone is smart then they are blue. If someone is round then they are smart. If Dave is green then Dave is round.
Dave is not round.