localizado_em(grenoble, X).
nasceu_em(X, europa).
nasceu_em(josé, brasil).
idade(X, Idade), Idade > 30.
brasileiro(X), mora_em(X, frança).
mora_em(X, rio_grande_do_sul); mora_em(X, bahia).