Step 0 (starting state)
Rules:
owns(P,X) :- part_of(X,Y), owns(P,Y).
owns(P,X) :- part_of(Q,P), owns(Q,X).
owns(P,mcof) :- owns(Z,P), \+ part_of(Q,P).
Ordered list of facts:
part_of(dod,usgov).
part_of(navy,dod).
part_of(nps,navy).
part_of(fnmc,nps_annex).
owns(nps,nps_annex).
Guess the first fact proved before proceeding to Step 1.