Dave is big. Dave is green. Dave is red. Dave is round. Dave is white. Harry is not big. Harry is blue. Harry is not green. Harry is kind. Harry is not red. Harry is round. Harry is white. If Harry is big then Harry is not red. If Harry is green and Harry is red then Harry is not big. If Harry is green and Harry is not big then Harry is red. If Harry is green and Harry is big then Harry is white. If something is blue and big then it is green. If something is not red and not blue then it is round.
Dave is blue.