Faster propagation of edits with logical inferences would also make mistakes more visible, hence make them faster to find and review. I might argue a little bit of redundancy like having symmetric statements would make vandalism harder, I totally changed my mind. This will make vandalism harder to track and really fastidious to correct, hence a maintenance nightmare, especially for complex chain of automations.