Seems to work with a single pre-existing fact, which denies derivation.