county of England

Deductions

• county of England is for example Middlesex ⇐ (Middlesex is a county of England), (is a is inverse of is for example)
• county of England is for example Cambridgeshire ⇐ (Cambridgeshire is a county of England), (is a is inverse of is for example)
• 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)
• Cambridgeshire is a county of England ⇐ (historic county of England is subclass of county of England), (Cambridgeshire is a historic county of England)
• Middlesex is a county of England ⇐ (historic county of England is subclass of county of England), (Middlesex is a historic 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)