inference rule fix