The statement "if the ground is wet it might have rained" is true because Rain is wet