fix the abduction case of http://code.google.com/p/open-nars/issues/detail?id=40&can=1 caused by a typo in the inference rule. also I commented the two inference rules involved in this issue. (TODO: further documentation of how they are realized)