So let’s klipsify the rules and the query:

woman(emily). man(john).
    

man(john).