작은 rule을 short-circuit 의미가 있는 새 rule로 결합한다.
category가 device인지 본다.
stock이 양수인지 본다.
왼쪽 true일 때 오른쪽을 평가한다.
합성 결과를 각 product에 적용한다.
핵심: rule이 외부 상태를 바꾸면 평가 순서와 횟수가 결과에 스며든다.