Charlie is blue. Charlie is green. Charlie is round. Dave is not big. Dave is blue. Dave is not furry. Dave is green. Dave is not round. Harry is big. Harry is blue. Harry is furry. Harry is not green. Harry is red. Harry is rough. Harry is round. If something is not rough then it is green. If something is round and not rough then it is not furry. If Harry is not rough then Harry is big. Green things are red. If something is round then it is blue. If something is not red then it is not blue.
Charlie is not furry.