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