Clojurians Log v2

I am missing some basic understanding about how to query using datalog in datascript. For example in the following example

(datascript.core/q
   '[:find ?p
     :in [[_ _ ?p] ...]
     :where
     [(and (not (= ?p "A")) (= ?p "B"))]
     [(or (= ?p "A") (= ?p "C"))]]
   [[0 :prn "A"]
    [1 :prn "B"]
    [2 :prn "C"]
    [3 :prn "D"]]) 

I would expect #{["B"] ["C"]} however im getting #{["D"] ["B"] ["A"] ["C"]} What am I missing? Why is not my :where clause restricting the result?