Anne is green. Anne is kind. Anne is round. Anne is white. Bob is furry. Bob is green. Bob is kind. Bob is round. Bob is white. Erin is furry. Erin is green. Erin is rough. Erin is round. Harry is furry. Harry is rough. Rough, white things are smart. If Erin is furry then Erin is green. If something is round then it is furry. If something is furry and smart then it is white. Furry things are smart. If something is smart then it is rough.
Harry is not green.