NEW: Assignment 1 part 1 sibling(luke,leia) proof tree.