creating inference rules overview (WIP)