Anne is round. Anne is smart. Bob is green. Dave is green. Dave is quiet. Erin is furry. Erin is green. Erin is rough. Erin is round. Erin is white. If someone is green and white then they are furry. Round, green people are white. All quiet, smart people are furry. All furry people are white. All green, quiet people are round. If someone is round and furry then they are smart. Quiet, smart people are rough.
Dave is smart.