<?xml version="1.0" encoding="ISO-8859-1"?><!DOCTYPE puzzle PUBLIC "-//Bengt Martensson//DTD einsteinpuzzle//EN" "einsteinpuzzle.dtd">
<puzzle>
  <title>The parking lot</title>
  <text>Five automobiles of different marks and colors, from different cities
are parked in a row. All of the automobiles contain a CD, and the owners of the
automobiles all have different professions. Where is the CD from Schnappi?</text>
  <properties>
    <property name="position">
      <value>1</value>
      <value>2</value>
      <value>3</value>
      <value>4</value>
      <value>5</value>
    </property>
    <property name="color">
      <value>blue</value>
      <value>red</value>
      <value>white</value>
      <value>green</value>
      <value>brown</value>
    </property>
    <property name="city">
      <value>Munich</value>
      <value>Bremen</value>
      <value>Cologne</value>
      <value>Berlin</value>
      <value>Stuttgart</value>
    </property>
    <property name="music">
      <value>Britney_Spears</value>
      <value>Robbie_Williams</value>
      <value>Stones</value>
      <value>Nena</value>
      <value>Schnappi</value>
    </property>
    <property name="automobile">
      <value>Ferrari</value>
      <value>VW</value>
      <value>Porsche</value>
      <value>Seat</value>
      <value>Ford</value>
    </property>
    <property name="profession">
      <value>teacher</value>
      <value>butcher</value>
      <value>professor</value>
      <value>woodworker</value>
      <value>broker</value>
    </property>
  </properties>
  <rules>
    <rule>
      <text>The Ferrari is red.</text>
      <equivalence>
	<property-value name="automobile" value="Ferrari"/>
	<property-value name="color" value="red"/>
      </equivalence>
    </rule>
    <rule>
      <text>The teacher owns the white automobile.</text>
      <equivalence>
	<property-value name="profession" value="teacher"/>
	<property-value name="color" value="white"/>
      </equivalence>
    </rule>
    <rule>
      <text>The VW (Volkswagon) contains a CD from Britney Spears.</text>
      <equivalence>
	<property-value name="automobile" value="VW"/>
	<property-value name="music" value="Britney_Spears"/>
      </equivalence>
   </rule>
    <rule>
      <!-- First ignoring last two words -->
      <text>Adjacent to the blue automobile stands the Porsche from Munich.</text>
      <neighbor>
	<property-value name="color" value="blue"/>
	<property-value name="automobile" value="Porsche"/>
      </neighbor>
    </rule>
    <rule>
      <!-- Now considering only last three words -->
      <text>Adjacent to the blue automobile stands the Porsche from Munich.</text>
      <equivalence>
	<property-value name="automobile" value="Porsche"/>
	<property-value name="city" value="Munich"/>
      </equivalence>
    </rule>
    <rule>
      <text>Ajacent to the brown automobile is the car from Bremen.</text>
	<neighbor>
	  <property-value name="color" value="brown"/>
	  <property-value name="city" value="Bremen"/>
	</neighbor>
    </rule>
    <rule>
      <text>The butcher has a CD from Robbie Williams in his automobile.</text>
      <equivalence>
	<property-value name="profession" value="butcher"/>
	<property-value name="music" value="Robbie_Williams"/>
      </equivalence>
    </rule>
    <rule>
      <text>The Automobile containing the CD by the Stones is located next to
the teacher's  automobile.</text>
	<neighbor>
	  <property-value name="music" value="Stones"/>
	  <property-value name="profession" value="teacher"/>
	</neighbor>
    </rule>
    <rule>
      <text>The professor drives an automobile from Cologne.</text>
      <equivalence>
	<property-value name="profession" value="professor"/>
	<property-value name="city" value="Cologne"/>
      </equivalence>
    </rule>
    <rule>
      <text>Next to the blue automobile is a Seat.</text>
	<neighbor>
	  <property-value name="color" value="blue"/>
	  <property-value name="automobile" value="Seat"/>
	</neighbor>
    </rule>
    <rule>
      <text>The woodworker drives a Ford.</text>
      <equivalence>
	<property-value name="profession" value="woodworker"/>
	<property-value name="automobile" value="Ford"/>
      </equivalence>
    </rule>
    <rule>
      <text>The automobile from Bremen is green.</text>
      <equivalence>
	<property-value name="city" value="Bremen"/>
	<property-value name="color" value="green"/>
      </equivalence>
    </rule>
    <rule>
      <text>Next to the automobile owned by the brokers is the automobile from  Berlin.</text>
	<neighbor>
	  <property-value name="profession" value="broker"/>
	  <property-value name="city" value="Berlin"/>
	</neighbor>
    </rule>
    <rule>
      <text>The automobile containing the CD from Nena ist the forth on the parkinglot.</text>
      <equivalence>
	<property-value name="music" value="Nena"/>
	<property-value name="position" value="3"/>
      </equivalence>
    </rule>
    <rule>
      <text>The automobile from Stuttgart is not a neighbor of the Porsche.</text>
	<not_neighbor>
	  <property-value name="city" value="Stuttgart"/>
	  <property-value name="automobile" value="Porsche"/>
	</not_neighbor>
    </rule>
  </rules>
</puzzle>