Initial version of logical assertion macro using Fact!