Test
----

Fact: There are no guest accounts
Q: Do we have any guest accounts?

A: No

Not an answer: Yes

Example solution
----------------

Rule: do we have any X? & there are no X => no