Anne is blue. Anne is red. Anne is white. Bob is rough. Bob is round. Bob is white. Dave is round. All kind, red people are smart. If Bob is blue and Bob is red then Bob is kind. Kind, blue people are smart. If someone is smart and blue then they are round. If Dave is blue and Dave is rough then Dave is red. All red people are round. If Dave is rough then Dave is red. Red people are smart.
Dave is red.