Bob is furry. Bob is nice. Charlie is big. Dave is kind. Dave is quiet. Gary is big. Gary is kind. If something is nice then it is kind. If Dave is blue and Dave is green then Dave is furry. All nice things are green.
Dave is quiet.