Step 1
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).
owns(nps,fnmc). [from cycle 1, rule 1, fact 4, and fact 5]
Guess the next fact proved before proceeding to Step 2.