Show HN: A memory database that forgets, consolidates, and detects contradiction