1. Given is a set of facts and rules:

[1] collie(fred)

[2] has_master(fred,sam)

[3] day(saturday)

[4] warm(saturday)

[5] trained(fred)

[6] spaniels(joe)

[7] (spaniels(X) collie(X)) trained(X) good_dog(X)

[8] good_dog(X) has_master(X,Y) location(Y,Z) location(X,Z)

[9] day(saturday) warm(saturday) location(sam,park)

[10] day(saturday) warm(saturday) location(sam,museum)

Draw an AND/OR tree to determine the location of Fred.