Anne is blue. Anne is furry. Anne is round. Anne is young. Bob is red. Bob is young. Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. If someone is round and smart then they are young. If Charlie is young then Charlie is blue.
Charlie is not furry.