Anne is big. Anne is cold. Anne is green. Anne is kind. Anne is not red. Anne is round. Anne is smart. Dave is not cold. Dave is green. Dave is kind. Dave is red. Dave is smart. Kind, green things are smart. If Anne is red then Anne is big. All kind, smart things are green. If something is red and big then it is not green. Big, red things are kind. If something is big and not smart then it is not cold. If something is not green then it is cold. If something is round and not smart then it is kind.
Dave is round.