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