7.2 有点红的葡萄是否熟了——模糊假言推理