2022年5月10日，天舟四号货运飞船成功发射，“万里穿针”精准实现“太空之吻”。为了实现“1＋1＝1”的精准对接效果，设计师们提出了可控阻尼的控制思路，通过缓冲等措施，既不影响捕获性能，又可以抵消撞击的能量，最终实现“轻盈优雅”对接。若前提条件成立，下列推理正确的是（ ）
①若“只有处理好捕获性能和撞击能量的关系，才能实现天舟四号与空间站核心舱轻盈优雅对接”成立，则必然推出“没有处理好捕获性能和撞击能量的关系，那么就不会实现天舟四号与空间站核心舱轻盈优雅对接”
②若“如果处理好捕获性能和撞击能量的关系，那么天舟四号与空间站核心舱就会实现轻盈优雅对接”成立，则必然推出“没有处理好捕获性能和撞击能量的关系，那么就不会实现天舟四号与空间站核心舱轻盈优雅对接”
③若“如果处理好捕获性能和撞击能量的关系，那么天舟四号与空间站核心舱就会实现轻盈优雅对接”成立，则必然推出“天舟四号与空间站核心舱没有实现轻盈优雅对接，那么就没有处理好捕获性能和撞击能量的关系”
④若“只有处理好捕获性能和撞击能量的关系，才能实现天舟四号与空间站核心舱轻盈优雅对接”成立，则必然推出“天舟四号与空间站核心舱没有实现轻盈优雅对接，那么就没有处理好捕获性能和撞击能量的关系”
