Namibia
Deductions
- Namibia is part of Africa ⇐ (Namibia is part of Southern Africa), (Southern Africa is part of Africa), (is part of is a transitive relation)
- Namibia has quality means ⇐ (free country is a means), (Namibia has quality free country)
- republic is for example Namibia ⇐ (Namibia is a republic), (is a is inverse of is for example)