Bob is big. Bob is furry. Bob is green. Bob is not young. Gary is furry. Gary is smart. Harry is not green. Rough things are smart. All furry things are smart. All green, young things are big.
Gary is smart.