Чем грибной дождь отличается от обычного?

Грибной дождик обычно маленький (не плотный) и длится где-то не более 10-15 минут (а иногда идёт всего 3 минуты). Говорят, что после него грибы чуть-чуть подрастают. И идёт грибной дождь обычно днём.

Обычный же дождь может быть совершенно любым, то есть и сильным и слабым и коротким и долгим и в том числе грибным.

То есть грибной дождь - это разновидность обычного дождя.

Это значит, что любой грибной дождь является обычным дождём, но не любой обычный дождь является грибным.