Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is round. Charlie is green. Charlie is quiet. Dave is big. Dave is furry. Dave is green. Dave is red. Dave is rough. All red, green people are big. If someone is furry then they are green. All big, green people are red. All rough, green people are round. All green people are furry. If someone is rough then they are big.
Bob is round.