Dave is big. Dave is green. Dave is nice. Dave is rough. Dave is round. Dave is smart. Dave is young. All nice people are rough. If Dave is young then Dave is green. If someone is smart then they are round. If Dave is smart and Dave is big then Dave is round. Round, nice people are green. All rough people are big. If someone is young and round then they are green. If someone is big and green then they are round.
Dave is smart.