Implemented Nice Loops Rule 3 for Alternating Inference Chains.