This shows an implication with a conclusion that is a disjunction (and therefore not legal in Prolog) can be rewritten with a negation of one of the conclusions as a premise.
Click here to start.