A formal, adaptable fact-checker with source references.