所有是可以推出有些是_所有的a都是b推出