status(bob, compliant).
status(alice, compliant).
status(dave, non_compliant).
status(carol, non_compliant).