В моем детстве завели котенка обычной серой масти. Нам сказали, что это кот и мы назвали его Васькой. Через несколько дней выяснилось, что это таки кошка. Переименовывать не стали, просто решили, что полным именем будет Василиса. Так и жила кошка Васька.