Show the working.

Every fact on its own line, with the rule that marks it and where it was read. Read the method.