Речник на българския език
биха окаменели е производна форма на окаменея (условно наклонение, 3 л., мн. ч.).