Dave is big. Dave is not quiet. Dave is red. Dave is round. Harry is furry. Harry is quiet. Harry is red. Harry is round. Harry is smart. Harry is not white. If Harry is round then Harry is not big. If something is not white and not red then it is furry.
Dave is not red.