Premise: well it leaves a mess then when it does melt  everything thaws out

Hypothesis: Things thawing out never leave a mess.
Relation: contradiction