Bob is green. Gary is smart. Harry is green. If Gary is not green then Gary is round. If someone is round and furry then they are not green. If someone is not smart then they are big. If Bob is big then Bob is young. If someone is young and green then they are furry. If someone is green and not nice then they are not smart.
Gary is smart.