Let's put given 9 information in a table. The person in Bold Font will not get the
corresponding car unless the persons in Normal Font get the corresponding cars.
Also, the person will Italics will get the remaining car.
Merc Honda Ford Zen
1 Barry Alan Denzil Carl
2 Alan Denzil Barry Carl
3 Barry Alan Carl Denzil
4 Alan Barry Denzil Carl
5 Barry Carl Denzil Alan
6 Carl Barry Denzil Alan
7 Denzil Barry Alan Carl
8 Carl Denzil Alan Barry
9 Carl Denzil ? ?
Now, let's assume that Alan gets the Merc. Then from (4), Barry gets the Honda,
Denzil gets the Ford and Carl gets the Zen. But from (7), Carl will not get the Zen
unless Barry gets the Honda and Alan gets the Ford. Thus, it contradicts the
original assumption. Hence, Alan will not get the Merc.
Let's assume that Alan gets the Honda. Then from (1), Barry gets the Merc,
Denzil gets the Ford and Carl gets the Zen. But from (5) or from (7), it contradicts
the original assumption. Hence, Alan will not get the Honda.
Let's assume that Alan gets the Ford. Then from (8), Carl gets the Merc, Denzil
gets the Ford and Barry gets the Zen - which does not contradict any of the
statement.
Similaly, you can assume that Alan gets the Zen. (which is contradictory to (9))
Hence, Alan gets the Ford, Barry gets the Zen, Carl gets the Merc and Denzil
gets the Honda.