Anne is round. Anne is white. Anne is young. Dave is nice. Dave is rough. Dave is round. Dave is young. Fiona is red. Fiona is round. Fiona is white. All red people are rough. All young people are white. If Dave is nice then Dave is red.
Dave is nice.