Anne is red. Anne is rough. Anne is round. Dave is blue. Dave is nice. Dave is round. Dave is young. Harry is red. Harry is rough. Harry is young. All red, rough people are young. If Harry is blue then Harry is kind. Blue people are red. If Anne is round and Anne is kind then Anne is red. If Dave is red then Dave is round. Red people are rough. If Dave is nice then Dave is blue. Blue, young people are round.
Dave is not blue.