Table trip has columns id, duration, start_date, start_station_name, start_station_id, end_date, end_station_name, end_station_id, bike_id, subscription_type, zip_code.
Table station has columns id, name, lat, long, dock_count, city, installation_date.
Table status has columns station_id, bikes_available, docks_available, time.
Table weather has columns date, max_temperature_f, mean_temperature_f, min_temperature_f, max_dew_point_f, mean_dew_point_f, min_dew_point_f, max_humidity, mean_humidity, min_humidity, max_sea_level_pressure_inches, mean_sea_level_pressure_inches, min_sea_level_pressure_inches, max_visibility_miles, mean_visibility_miles, min_visibility_miles, max_wind_speed_mph, mean_wind_speed_mph, max_gust_speed_mph, precipitation_inches, cloud_cover, events, wind_dir_degrees, zip_code.

I want to write a SQL to find out what are the names and ids of all stations that have more than 14 bikes available on average or had bikes installed in December? Can you help me to split this question into some sub-questions, so that I can solve it step-by-step. Please use JSON format in your answer.
user