Solve first two side condition of load rule.