A rule that disallows the use of an assert or refute with a negated argument. If you do this, swap the assert for an refute, or vice versa.

These are considered valid:

assert foo
refute bar

These are considered invalid:

assert ! foo
refute ! bar
assert not foo
refute not bar