Clauses   2
1: A + B + C => D1
2: B + C + D => D2