Anne is not blue. Anne is green. Anne is red. Anne is round. Anne is smart. Bob is blue. Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is not round. Bob is smart. Harry is blue. Harry is green. Harry is round. If someone is red then they are smart. If someone is round then they are red. All rough people are smart. If Harry is round and Harry is smart then Harry is green. All rough people are green. If Bob is rough and Bob is not smart then Bob is red. If someone is blue and not green then they are red. If someone is not red and not round then they are not green.
Harry is furry.