Anne is furry. Anne is round. Anne is smart. Bob is furry. Fiona is big. Fiona is round. Harry is round. All red, green people are round. If Bob is red and Bob is nice then Bob is smart. If someone is nice and smart then they are not green. If someone is furry then they are nice. If someone is big then they are not red. All nice people are round. If Bob is round then Bob is red. If Bob is nice and Bob is big then Bob is red. If someone is not nice then they are green.
Harry is furry.