Fixing inference rule rendering