Anne is nice. Anne is red. Dave is blue. Dave is nice. Dave is red. Dave is round. Dave is young. Red things are green. If Dave is nice then Dave is red. All quiet, blue things are young. All nice, blue things are red. Nice things are young. Young things are red. All round things are green. Red, quiet things are green.
Anne is blue.