Input: Ice melts into stone
(A) Ice and stone temperatures are different
(B)Ice and stone hardness are different
(C)Ice is water and melts into water instead of stones
Output: C