This shows an implication with a conclusions that is a conjunction (and therefore not legal in Prolog) can be rewritten as two rules that can be converted to Prolog rules.
Click here to start.