∀x (MichaelsNeightbor(x) ∧ GrowIn(x, vegetable, garden) → Have(x, ampleSpace))
∀x (MichaelsNeightbor(x) ∧ YoungWorkingProfession(x) ∧ LiveIn(x, largeCity) → ¬Have(x, ampleSpace))
∀x (MichaelsNeightbor(x) ∧ OrderOften(x, takeout) → Grow(x, vegetable, garden))
∀x (MichaelsNeightbor(x) ∧ EnjoyGoingOutOftenToWith(x, restaurant, friend) → OrderOften(x, takeout))
∀x (MichaelsNeightbor(x) ∧ ToutOver(x, homecookedMeals, fastFood) → EnjoyGoingOutOftenToWith(x, restaurant, friend))
MichaelsNeightbor(peter) ∧ (GrowIn(peter, vegetable, garden) ∨ ToutOver(peter, homecookedMeals, fastFood))
GrowIn(peter, vegetable, garden) ∨ (YoungWorkingProfession(peter) ∧ LiveIn(peter, largeCity))