Added tests for remaining rules of inference. Fixed issue with HS, similar to issue with CD.