Anne is round. Anne is white. Bob is cold. Bob is kind. Dave is cold. Dave is kind. Dave is red. Dave is round. Dave is smart. Dave is white. Dave is young. Erin is red. Erin is round. Erin is smart. Erin is young. All red things are kind. All red things are smart. If something is white and young then it is kind. If something is cold then it is young. Kind, round things are cold. If something is red then it is white. All young things are red. White things are young.
Dave is red.