Basic rule inferencing