Fixes conjunction inference rules.