Inductive Logic Homework