Solve problems from the MIU system described in Douglas Hofstadter's Gödel, Escher, Bach using the "genie method"