Bob is nice. Dave is green. Dave is nice. Dave is quiet. Dave is not red. Dave is round. Dave is not young. If someone is not red then they are round. If someone is red and quiet then they are round. If someone is round then they are green.
Bob is green.