Anne is nice. Anne is quiet. Anne is red. Anne is round. Anne is smart. Anne is white. Bob is blue. Bob is nice. Bob is smart. Bob is white. Dave is blue. Harry is blue. Harry is quiet. Harry is smart. Harry is white. Nice, quiet people are white. If someone is red and smart then they are quiet. If someone is round then they are white. All smart, red people are white. If someone is quiet then they are red. If someone is red then they are smart. If someone is smart then they are red. If someone is blue and quiet then they are red.
Dave is not red.