If it does not rain, then the ground is not wet

If the ground is wet, then it rained

If the ground is not wet, then it did not rain

If it rains, then the ground is not wet