a is false (OK)
b(1) is true (OK)
b(2) is true (OK)
c is true (OK)
d is false (OK)
