Anne is blue. Anne is nice. Anne is red. Bob is blue. Bob is green. Bob is nice. Bob is red. Bob is round. Charlie is furry. Charlie is green. Harry is furry. Harry is green. Harry is red. Harry is round. Harry is white. All red things are round. If something is furry and blue then it is nice. Blue things are red.
Charlie is not nice.