% KB1 from Learn Prolog Now! (http://www.learnprolognow.org/).

woman(mia).
woman(jody).
woman(yolanda).
playsAirGuitar(jody).
party.