Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is round. Anne is smart. Bob is big. Bob is furry. Bob is not green. Bob is red. Bob is not round. Bob is smart. Harry is furry. Harry is green. If something is not furry then it is red. If Anne is green then Anne is smart. All red things are big. If Bob is green and Bob is furry then Bob is not round. If Anne is furry and Anne is not big then Anne is round. If something is not big then it is not smart. If Anne is smart and Anne is not red then Anne is kind. If something is round and not red then it is not green.
Harry is red.