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