mae puede ser que la clase HOLA este dentro de un namespace que no hayas puesto en el include...
por ejemplo
namespace Saludo
{
public class Hola{
}
}
el include seria asi:
include Saludo.Hola;
en lugar de
include Hola;
algo que puedes hacer que C# te lo facilita es escribir el nombre de la clase, le das click derecho, resolve o resorver, y el mae te busca las referencias a la que esa clase puede pertenecer, vos la seleccionas y listo
suerte