∀x ((Product(x) ∧ DesignedBy(x, apple)) → SoldIn(x, appleStore))
∀x ((Product(x) ∧ With(x, appleLogo)) → DesignedBy(x, apple))
∀x (Macbook(x) → With(x, appleLogo))
∀x ((Product(x) ∧ With(x, appleM2Chip)) → Macbook(x))
¬(SoldIn(thinkpadX1, appleStore) ∧ Macbook(thinkpadX1))
With(thinkpadX1, appleM2Chip) ∧ Macbook(thinkpadX1)