innocent(peter_pan).
innocent(X) :- occupation(X, nun).
innocent(winnie_the_pooh).
innocent(julie_andrews).
guilty(X) :- occupation(X, thief).
guilty(joe_bloggs).
guilty(rolf_harris).
guilty(X) :- not(innocent(X)).
occupation(alessandro,studente).