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