∀x (In(x, potterville) ∧ Yell(x) → ¬Cool(x))
∀x (In(x, potterville) ∧ Angry(x) → Yell(x))
∀x (In(x, potterville) ∧ Fly(x) → Cool(x))
∀x (In(x, potterville) ∧ Know(x, magic) → Fly(x))
∀x (In(x, potterville) ∧ Wizard(x) → Know(x, magic))
In(harry, potterville) ∧ (Yell(harry) ⊕ Fly(harry))
Wizard(potter) ∧ Fly(potter)
¬Cool(harry)