In order for life to exist on the recently discovered planet P23, there must be water on the planet's surface.
Conclusion (so)
There is no life on planet P23.
Evidence
In order for life to exist on planet P23, there must be surface water.
There's no surface water.
Evaluate
This is an argument by contrapositive. There is one premise that gives us a conditional rule, Life → Water Then there is a 2nd premise that says the Outcome of the conditional is not the case. Water. Then the conclusion correctly says that the Trigger must not be the case. Life.
Goal
Let's look for something like
P1: X → Y (conditional) P2: ~Y. (fact) C: ~X. (fact)