Solution
Three travelers — Jano, Kira, Lian — each visit exactly two countries, starting from Zerathania (Zentars). The three visited countries are Aurevia (Aurels), Brelosia (Brins), and Cyrenia (Crowns); each is visited by exactly two travelers.
| Traveler | Flight (Zentars) | Aurevia (Aurels) | Brelosia (Brins) | Cyrenia (Crowns) | Travel Cost (Zentars) |
|---|---|---|---|---|---|
| Jano | |||||
| Kira | |||||
| Lian |
Exchange value of one unit, in Zentars:
| Aurel | Brin | Crown |
|---|---|---|
Each row is a traveler.
The Flight column stores the Flight Cost in Zentars.
The three country columns store the spend made in that country, in its own local currency; a dash marks a country a traveler did not visit.
The last column stores the Travel Cost (Flight Cost plus all spends), kept here in Zentars.
The small table converts one unit of each currency into Zentars; only the Crown is given, at .
Two facts are known at the start:
Jano's Flight Cost is Zentars; the other two flights are and in some order.
The six spends form the multiset : two of , one of , three of .
| Traveler | Flight (Zentars) | Aurevia (Aurels) | Brelosia (Brins) | Cyrenia (Crowns) | Travel Cost (Zentars) |
|---|---|---|---|---|---|
| Jano | — | ||||
| Kira | — | ||||
| Lian | — |
| Aurel | Brin | Crown |
|---|---|---|
Jano's Flight Cost is filled.
From observation (i), Aurevia is visited by Jano and Kira.
From observation (ii), Brelosia is visited by Kira and Lian.
From observation (iii), Cyrenia is visited by Lian and one more traveler.
Kira already has two countries (Aurevia, Brelosia), and Lian already has two (Brelosia, Cyrenia).
So the second visitor of Cyrenia must be Jano, giving Jano the pair Aurevia and Cyrenia.
Dashes mark the unvisited country for each traveler: Jano–Brelosia, Kira–Cyrenia, Lian–Aurevia.
| Traveler | Flight (Zentars) | Aurevia (Aurels) | Brelosia (Brins) | Cyrenia (Crowns) | Travel Cost (Zentars) |
|---|---|---|---|---|---|
| Jano | — | ||||
| Kira | — | ||||
| Lian | — |
| Aurel | Brin | Crown |
|---|---|---|
From observation (ii), in Brelosia Kira spent Brins and Lian spent Brins. These are filled.
| Traveler | Flight (Zentars) | Aurevia (Aurels) | Brelosia (Brins) | Cyrenia (Crowns) | Travel Cost (Zentars) |
|---|---|---|---|---|---|
| Jano | — | ||||
| Kira | — | ||||
| Lian | — |
| Aurel | Brin | Crown |
|---|---|---|
The only in the whole set is Lian's Brelosia spend, so no other spend equals .
Kira's Aurevia spend must differ from her Brelosia spend () and cannot be .
The only value left is , so Kira's Aurevia spend is .
| Traveler | Flight (Zentars) | Aurevia (Aurels) | Brelosia (Brins) | Cyrenia (Crowns) | Travel Cost (Zentars) |
|---|---|---|---|---|---|
| Jano | — | ||||
| Kira | — | ||||
| Lian | — |
| Aurel | Brin | Crown |
|---|---|---|
The set needs exactly two spends of ; one is already Kira's Aurevia spend.
Jano's two spends are distinct and lie in (no remains), so exactly one of them is the second .
That uses up both s.
Hence Lian's Cyrenia spend cannot be , and cannot be , leaving .
This also confirms three s: Kira–Brelosia, Lian–Cyrenia, and Jano's single .
Jano's pair Aurevia, Cyrenia remains to be ordered.
| Traveler | Flight (Zentars) | Aurevia (Aurels) | Brelosia (Brins) | Cyrenia (Crowns) | Travel Cost (Zentars) |
|---|---|---|---|---|---|
| Jano | — | ||||
| Kira | — | ||||
| Lian | — |
| Aurel | Brin | Crown |
|---|---|---|
Let one Aurel and one Brin Zentars (Crown ).
Kira's Travel Cost is Aurels (i) and Brins (ii), the same amount:
.
Kira's Travel Cost in Zentars is also Flight.
Using : Flight Flight.
Flight is or .
Flight, leaving Flight.
Flight, leaving Flight.
Lian's Travel Cost is Crowns Zentars, and equals Flight.
So Flight.
Testing the first option: . This holds.
Testing the second: . This fails.
So , , Flight, Flight. These are filled.
| Traveler | Flight (Zentars) | Aurevia (Aurels) | Brelosia (Brins) | Cyrenia (Crowns) | Travel Cost (Zentars) |
|---|---|---|---|---|---|
| Jano | — | ||||
| Kira | — | ||||
| Lian | — |
| Aurel | Brin | Crown |
|---|---|---|
Jano's Travel Cost is Aurels Zentars, and equals
,
so (Aurevia) (Cyrenia), with Aurevia, Cyrenia.
Aurevia , Cyrenia : . This holds.
Aurevia , Cyrenia : . This fails.
So Jano spent Aurels in Aurevia and Crowns in Cyrenia.
| Traveler | Flight (Zentars) | Aurevia (Aurels) | Brelosia (Brins) | Cyrenia (Crowns) | Travel Cost (Zentars) |
|---|---|---|---|---|---|
| Jano | — | ||||
| Kira | — | ||||
| Lian | — |
| Aurel | Brin | Crown |
|---|---|---|
Travel Costs in Zentars:
Jano .
Kira .
Lian .
Verification against the citizens:
Jano Z Aurels.
Kira Z Aurels Brins.
Lian Z Crowns.
All match the stated observations, and every value is uniquely determined.
From the final table: Lian spent in Cyrenia (true), Kira spent in Aurevia (true), Jano spent in Cyrenia (true), but Jano spent — not — in Aurevia.
Hence the statement that is NOT true is 'Jano spent 2000 in Aurevia' (option 4).