Formal Logic interpreter