∀x (Shoe(x) → ¬Food(x))
∀x (Slipper(x) → Shoe(x))
∀x (DonatedTo(x, homelessCharity) → Food(x) ⊕ Clothes(x))
∀x (Wearable(x) → ¬Edible(x))
∀x (Clothes(x) → Wearable(x))
DonatedTo(watch, homelessCharify)
¬(Edible(watch) ∧ Clothes(watch)) → ¬(Edible(watch) ⊕ Clothes(watch))
Slipper(watch)