sexo(diego,masculino).
sexo(rebeca,feminino).
sexo(isabela,feminino).
sexo(raquel,feminino).
sexo(gabriel,masculino).
sexo(karlos,masculino).
sexo(higlander,masculino).
sexo(emilly,feminino).
sexo(nycolas,masculino).
sexo(sebanias,masculino).
sexo(victor,masculino).
sexo(lucas,masculino).
sexo(danilo,masculino).
sexo(cauan,masculino).
                        

local(diego,janela).
local(rebeca,janela).
local(isabela,janela).
local(raquel,janela).
local(gabriel,centro).
local(karlos,centro).
local(higlander,centro).
local(emilly,corredor).
local(nycolas,corredor).
local(sebanias,corredor).
local(victor,corredor).
local(lucas,centro).
local(danilo,corredor).
local(cauan,corredor).
                        

usaoculos(diego,nao).
usaoculos(rebeca,nao).
usaoculos(isabela,sim).
usaoculos(raquel,nao).
usaoculos(gabriel,sim).
usaoculos(karlos,sim).
usaoculos(higlander,sim).
usaoculos(emilly,sim).
usaoculos(nycolas,nao).
usaoculos(sebanias,sim).
usaoculos(victor,nao).
usaoculos(lucas,sim).
usaoculos(danilo,nao).
usaoculos(cauan,nao).
                        

usacabelo(diego,curto).
usacabelo(rebeca,longo).
usacabelo(isabela,longo).
usacabelo(raquel,longo).
usacabelo(gabriel,curto).
usacabelo(karlos,curto).
usacabelo(higlander,longo).
usacabelo(emilly,longo).
usacabelo(nycolas,curto).
usacabelo(sebanias,curto).
usacabelo(victor,curto).
usacabelo(lucas,curto).
usacabelo(danilo,curto).
usacabelo(cauan,curto).
                        

estuda(diego,nao).
estuda(rebeca,sim).
estuda(isabela,sim).
estuda(raquel,nao).
estuda(gabriel,sim).
estuda(karlos,sim).
estuda(higlander,nao).
estuda(emilly,sim).
estuda(nycolas,sim).
estuda(sebanias,nao).
estuda(victor,nao).
estuda(lucas,sim).
estuda(danilo,sim).
estuda(cauan,sim).
                        

idade(diego,20).
idade(rebeca,17).
idade(isabela,17).
idade(raquel,23).
idade(gabriel,17).
idade(karlos,17).
idade(higlander,22).
idade(emilly,16).
idade(nycolas,16).
idade(sebanias,20).
idade(victor,17).
idade(lucas,16).
idade(danilo,16).
idade(cauan,17).
bigode(diego).
bigode(gabriel).
bigode(sebanias).
                        

Cauan

sexo(X, masculino), local(X, corredor), estuda(X, sim), idade(X, Y), Y=17.

Danilo

sexo(X, masculino), local(X, corredor), estuda(X, sim), idade(X, Y), Y<17.

Diego

sexo(X,masculino),local(X,janela).

Emilly

sexo(X, feminino), local(X, corredor).

Gabriel

sexo(X, masculino), local(X, centro), bigode(X).

Higlander

sexo(X,masculino),local(X,centro),usacabelo(X,longo).

Isabela

sexo(X, feminino),local(X, janela), usaoculos(X, sim).

Karlos

sexo(X, masculino), local(X, centro), idade(X, Y), Y>16, not(bigode(X)).

Lucas

sexo(X, masculino), local(X, centro), idade(X, Y), Y<17.

Nycolas

sexo(X, masculino), local(X, corredor), estuda(X, sim), idade(X, Y), Y<17.

Raquel

sexo(X,feminino),local(X,janela),usaoculos(X,nao),estuda(X,nao).

Rebeca

sexo(X,feminino),local(X,janela),usaoculos(X,nao),estuda(X,sim).

Sebanias

sexo(X, masculino), local(X, corredor), bigode(X).

Victor

sexo(X, masculino), local(X, corredor), estuda(X, nao), idade(X, Y), Y=17.