∀x (Animal(x) ∧ InTheLab(x) ∧ Cute(x) → ¬Pig(x))
∀x (Animal(x) ∧ InTheLab(x) ∧ Baby(x) → Cute(x))
∀x (Animal(x) ∧ InTheLab(x) → Pig(x) ⊕ Sheep(x))
∀x (Animal(x) ∧ InTheLab(x) ∧ Have(x, curlyHair) → Sheep(x))
∀x (Mouse(x) → ¬Sheep(x))
Animal(waldo) ∧ InTheLab(waldo) ∧ ¬(Baby(waldo) ∧ Have(waldo, curlyHair))
Animal(murphy) ∧ InTheLab(murphy) ∧ ¬(Sheep(murphy) ⊕ Boy(murphy))
Baby(murphy) ∨ Have(murphy, curlyHair) 