Bob is quiet. Bob is smart. Charlie is cold. Gary is cold. Gary is furry. Gary is green. Gary is quiet. All smart people are quiet. Blue people are cold. All smart people are blue. Smart people are green. If Gary is blue then Gary is furry. If Charlie is green and Charlie is quiet then Charlie is smart.
Gary is smart.