猫は液体である。
この液体Mは猫であるかを証明せよ。