# 因子
野菜 (キュウリ トマト)
飲物 (お茶 コーヒー)
菓子 (ケーキ ビスケット)

# 制約
(if(==[野菜]キュウリ)(<>[飲物]お茶))
(if(==[野菜]キュウリ)(<>[飲物]コーヒー))
