document.write('

由“丙的身高没有乙高”“甲的身高比丙高”可以推断，丙最矮。又从“乙比甲矮”可知，甲最高。

');