Anne is blue. Anne is red. Anne is round. Anne is white. Bob is blue. Bob is furry. Bob is green. Bob is nice. Bob is red. Bob is round. Bob is white. Harry is nice. Harry is red. Harry is round. Harry is white. If something is round then it is green. Furry, green things are round. If something is red and blue then it is green. If something is nice and furry then it is blue. Nice things are green. If Anne is green then Anne is blue. If something is red then it is furry. If something is blue and round then it is white.
Harry is not red.