Cat(garfield) ∧ MainCharacterOf(garfield, filmGarfield) ∧ Orange(garfield) ∧ Fat(garfield) ∧ Like(garfield, lasagna)
PetOf(garfield, jon) ∧ PetOf(odie, jon) ∧ ShareHomeWith(garfield, odie)
Hate(garfield, odie)
∀x ∀y ∃z (PetOf(x, z) ∧ PetOf(y, z) ∧ Hate(x, y) → Childish(x) ∧ Possessive(x))
∃x (MainCharacterOf(x, garfield) ∧ Childish(x) ∧ Possessive(x))