Hanover Deductions city is for example Hanover ⇐ (Hanover is a city), (is a is inverse of is for example) Hanover is a city ⇐ (big city is subclass of city), (Hanover is a big city) big city is for example Hanover ⇐ (Hanover is a big city), (is a is inverse of is for example)