Charlie is nice. Charlie is round. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is round. Dave is white. Harry is blue. Harry is cold. Harry is not furry. Harry is nice. Harry is red. Harry is not round. Harry is white. If Charlie is nice and Charlie is furry then Charlie is blue. If someone is blue then they are nice. If someone is furry then they are red. If Dave is white and Dave is not round then Dave is furry. If someone is nice and not white then they are furry. If Dave is not red then Dave is not blue.
Dave is cold.