Essex

Deductions

• county of England is for example Essex ⇐ (Essex is a county of England), (is a is inverse of is for example)
• Essex is a county of England ⇐ (ceremonial county of England is subclass of county of England), (Essex is a ceremonial county of England)
• Essex is a county of England ⇐ (historic county of England is subclass of county of England), (Essex is a historic county of England)
• ceremonial county of England is for example Essex ⇐ (Essex is a ceremonial county of England), (is a is inverse of is for example)
• historic county of England is for example Essex ⇐ (Essex is a historic county of England), (is a is inverse of is for example)