Proof of the equivalence of two Prolog rules with the same left side to one rule with a disjunction
Convert back to a single Prolog rule:
n(D) :- w(D); h(D).
We have proved what we wanted.