①若“只有处理好捕获性能和撞击能量的关系，才能实现天舟四号与空间站核心舱轻盈优雅对接”成立，则必然推出“没有处理好捕获性能和撞击能量的关系，那么就不会实现天舟四号与空间站核心舱轻盈优雅对接”
②若“如果处理好捕获性能和撞击能量的关系，那么天舟四号与空间站核心舱就会实现轻盈优雅对接”成立，则必然推出“没有处理好捕获性能和撞击能量的关系，那么就不会实现天舟四号与空间站核心舱轻盈优雅对接”
③若“如果处理好捕获性能和撞击能量的关系，那么天舟四号与空间站核心舱就会实现轻盈优雅对接”成立，则必然推出“天舟四号与空间站核心舱没有实现轻盈优雅对接，那么就没有处理好捕获性能和撞击能量的关系”
④若“只有处理好捕获性能和撞击能量的关系，才能实现天舟四号与空间站核心舱轻盈优雅对接”成立，则必然推出“天舟四号与空间站核心舱没有实现轻盈优雅对接，那么就没有处理好捕获性能和撞击能量的关系”
