Bob is green. Bob is kind. Bob is quiet. Bob is rough. Bob is round. Dave is blue. Dave is green. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Kind, rough people are round. If someone is blue then they are smart. All kind people are round. If Dave is smart then Dave is round. If someone is rough then they are green. If someone is smart then they are quiet. Blue, round people are kind. Round people are blue.
Bob is smart.