使用箭头组织推理过程

  1. 间接清晰
  2. 强化条件的转化、条件的使用