Clauses   5
1: A + B => S1
2: A + C + D => S2
3: C + D => S3
4: S1 + S3 => D1
5: S2 + S3 => D2