∀x ∀y (SymptomOf(x, cOVID-19) ∧ Have(y, x) → ¬ParticipateIn(x, socialEvents))
∀x ∀y (Have(x, fever) → SymptomOf(x, cOVID-19) ∧ Have(y, x))
∀x (¬ParticipateIn(x, socialEvents) → ¬GoTo(x, parties))
∀x (Tested(x, negative) → ¬GoTo(x, parties))
¬Tested(tom, negative) ∧ ¬Have(tom, fever)
¬Tested(tom, negative) → ¬ParticipateIn(tom, socialEvents)
¬Have(tom, fever) → GoTo(tom, parties)