Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is smart. Anne is young. Dave is nice. Dave is quiet. Dave is red. Fiona is big. Fiona is nice. Fiona is smart. If Fiona is smart and Fiona is nice then Fiona is green. Smart, red things are big. All green, big things are quiet.
Dave is not young.