已知：()老张比教授个子高；()老李比老王个子矮；()工人比司机个子高；()医生比教授个子矮；()工人不是老赵就是老李