Anne is red. Anne is round. Anne is smart. Bob is smart. Dave is nice. Dave is red. Erin is red. If something is round then it is red. Kind things are smart. Red things are smart. All smart things are red. Red, green things are round. If something is blue and red then it is nice. All kind things are round. If something is red then it is blue. Nice things are green.
Dave is smart.