Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is red. Dave is round. Harry is furry. Harry is kind. Harry is red. Harry is round. If someone is blue then they are round. If Dave is round then Dave is green. If someone is big then they are kind. All blue people are kind. If someone is round then they are green. If someone is green then they are blue.
Harry is blue.