Clyde is a history professor who is passionate about his job and subject.
All people who attend Renaissance fairs regularly enjoy dressing up in old-fashioned and historical period clothing. If people are fascinated by the history of the Renaissance and other past eras, then they attend Renaissance fairs regularly. People are either fascinated by the history of the Renaissance and other past eras, or are not nostalgic academics who enjoy learning. If people are focused on the future and industry professions, then they are not nostalgic academics who enjoy learning. If people are historical professors who are passionate about their job and subject, then they are nostalgic academics who enjoy learning. If Clyde is not focused on the future and industry professions, then he is neither focused on the future and industry professions nor enjoys dressing up in old-fashioned and historical period clothing.
∀x (RenaissanceFair(x) → DressingUp(x)) ∀x (HistoryRenaissance(x) → RenaissanceFair(x)) ∀x (HistoryRenaissance(x) ∨ NotAcademics(x)) ∀x (Industry(x) → NotAcademics(x)) ∀x (HistoryProf(x) → ¬NotAcademics(x)) ¬Industry(clyde) → ¬(Industry(clyde) ∨ DressingUp(clyde))