Symbolic Augmentation Closes a Canonical-Equivalence Blind Spot in Neural Fact-Checkers | AIChainDay