If it rains, the street is wet. It is not raining, so the street is dry.

If it rains, the street is wet. The street is wet, therefore it must have rained.

If it rains, the street is wet. It is raining, therefore the street is wet.

If it rains, the street is wet. The street is not wet, therefore it did not rain.