Clauses   5
1: P => Q
2: L + M => P
3: B + L => M
4: A + P => L
5: A + B => L