added new inference rule