if the following are true:

• the line at time 8 = 8
• the tab at time 8 = 1
• statement at line 8, tab 1 = def jump(self):
• value at "Dog" in map (Class Map at time 8) = [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ ], [ entry "line": 7, [ ] ] ] ]
• value at "methods" in map [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ ], [ entry "line": 7, [ ] ] ] ] = [ ]
• Class Map at time 8 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 9 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

Start from the conclusion and work back up the proof. Click the arrow to show the parents.