Club(northwichVictoriaFC) ∧ PlayAt(northwichVictoriaFC, winchamPark)
MemberOf(simonHackney, northwichVictoriaFC)
PartOf(northwichVictoriaFC, northernPremierLeague)
∀x ∃y ∃z ((MemberOf(x, y) ∧ PartOf(y, z)) → MemberOf(x, z))
∀x ∃y ∃z ((MemberOf(x, y) ∧ PlayAt(y, z)) → PlayAt(x, z))
MemberOf(simon, northernPremierLeague)