Anne is cold. Anne is round. Anne is white. Anne is young. Dave is big. Dave is cold. Dave is nice. Dave is round. Dave is white. Dave is young. Fiona is big. Fiona is green. Fiona is nice. Fiona is round. Fiona is white. All nice things are big. All white, big things are cold. Cold things are round. If Anne is nice and Anne is cold then Anne is green. All cold things are young. All round things are white.
Dave is not green.