Anne is green. Anne is not nice. Anne is round. Dave is blue. Dave is round. Erin is blue. Erin is quiet. Erin is red. Erin is young. Fiona is young. If something is young and quiet then it is nice. If something is red then it is blue. If Anne is quiet and Anne is green then Anne is red. All nice things are young. All nice, quiet things are round. If something is not green then it is red. All blue, red things are quiet. All quiet things are nice. If something is red and not blue then it is young.
Dave is not red.