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

'It rains and the ground is not wet'

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

'It does not rain and the ground is wet'