pizza puzzles

gistfile1.txt

(declare-datatypes () ((Pizza Pepperoni Margherita BBQ Hawaiian Peppers Cheese Sausage)))
(declare-const emily Pizza)
(declare-const owen Pizza)
(declare-const yasmine Pizza)
(declare-const nathan Pizza)
(declare-const wendy Pizza)
(declare-const rachel Pizza)
(declare-const kevin Pizza)

(assert 
(and
  (or (= emily Margherita) (= emily Peppers) (= emily Cheese))
  (or (= owen Margherita) (= owen Peppers) (= owen Cheese))
  (not (=  yasmine Cheese ))
  (or (= nathan Cheese) (= nathan Pepperoni) (= nathan Margherita))
  (not (= emily Peppers))
  (not (= wendy Hawaiian))
  (= rachel Cheese)
  (or (= kevin Pepperoni) (= kevin BBQ) (= kevin Sausage) (= kevin Hawaiian))
  (distinct emily owen yasmine nathan wendy rachel kevin)
)
)
(check-sat)
(get-model)