¬(∃x (In(x, bookCity) ∧ HaveTimeFor(x, reading) ∧ ¬Have(x, readingHabit)))
∀x ((CareAboutLearning(x, newKnowledge) ∧ In(x, bookCity)) → HaveTimeFor(x, reading)))
∀x ((HumbleAbout(x, theirKnowledge) ∧ In(x, bookCity)) → CareAboutLearning(x, newKnowledge))
∀x (In(x, bookCity) → (HumbleAbout(x, theirKnowledge) ∨ ConfidentAbout(x, theirKnowledge)))
(In(mary, bookCity) ∧ (¬(HumbleAbout(mary, theirKnowledge) ∧ ReadingHabit(mary)))) → ¬HumbleAbout(mary, theirKnowledge)
HaveTimeFor(x, reading)