<?xml version="1.0" encoding="ISO-8859-1"?><!DOCTYPE puzzle PUBLIC "-//Bengt Martensson//DTD einsteinpuzzle//EN" "einsteinpuzzle.dtd">
<puzzle>
  <title>Elskaren puzzle</title>
  <text>10 persons live in a suburb. All are of different nationality, prefer
    different pets, and have their houses painted in different colors.
    Furthermore, 
    everyone has his own cigarette brand, and drives a car from a different
    manufacturer.  
  </text>
  <img src="elskaren.png"/>
  <properties>
    <property name="position">
      <value>1</value>
      <value>2</value>
      <value>3</value>
      <value>4</value>
      <value>5</value>
      <value>6</value>
      <value>7</value>
      <value>8</value>
      <value>9</value>
      <value>10</value>
      <subset name="left_side">
	<value>1</value>
	<value>2</value>
	<value>3</value>
	<value>4</value>
	<value>5</value>
      </subset>
    </property>
    <property name="color">
      <value>black</value>
      <value>blue</value>
      <value>brown</value>
      <value>green</value>
      <value>grey </value>
      <value>pink</value>
      <value>purple</value>
      <value>red</value>
      <value>white</value>
      <value>yellow</value>
    </property>
    <property name="nationality">
      <value>danish</value>
      <value>english</value>
      <value>french</value>
      <value>german</value>
      <value>japan</value>
      <value>norwegian</value>
      <value>polish</value>
      <value>russian</value>
      <value>spanish</value>
      <value>swedish</value>
    </property>
    <property name="pet">
      <value>cat</value>
      <value>dog</value>
      <value>donkey</value>
      <value>fish</value>
      <value>guinea_pig</value>
      <value>horse</value>
      <value>monkey</value>
      <value>rabbit</value>
      <value>spider </value>
    <value>bird</value>
    </property>
    <property name="cigarette">
      <value>blend</value>
      <value>camel</value>
      <value>chesterfield</value>
      <value>commerce</value>
      <value>john_silver</value>
      <value>kent</value>
      <value>look</value>
      <value>marlboro </value>
      <value>pall_mall</value>
      <value>prince</value>
    </property>
    <property name="car"> 
      <value>bmw</value>
      <value>fiat</value>
      <value>ford</value>
      <value>jaguar</value>
      <value>opel</value>
      <value>porsche</value>
      <value>rolls_royce </value>
      <value>saab</value>
      <value>skoda</value>
      <value>volvo</value>
   </property>
  </properties>
  <rules>
    <rule label="1">
      <text>The Frenchman drives Volvo.</text>
      <equivalence>
	<property-value name="nationality" value="french"/>
	<property-value name="car" value="volvo"/>
      </equivalence>
    </rule>
    <rule label="2">
      <text>The Pole lives in the blue house.</text>
      <equivalence>
	<property-value name="nationality" value="polish"/>
	<property-value name="color" value="blue"/>
      </equivalence>
    </rule>
    <rule label="3">
      <text>The Japanese smokes Look.</text>
      <equivalence>
	<property-value name="cigarette" value="look"/>
	<property-value name="nationality" value="japan"/>
      </equivalence>
    </rule>
    <rule label="4">
      <text>The Spaniard owns a donkey.</text>
      <equivalence>
	<property-value name="nationality" value="spanish"/>
	<property-value name="pet" value="donkey"/>
      </equivalence>
    </rule>
    <rule label="5">
      <text>The Prince-smoker drives a SAAB.</text>
      <equivalence>
	<property-value name="cigarette" value="prince"/>
	<property-value name="car" value="saab"/>
      </equivalence>
    </rule>
    <rule label="6">
      <text>The Englishman has guinea pigs.</text>
      <equivalence>
	<property-value name="nationality" value="english"/>
	<property-value name="pet" value="guinea_pig"/>
      </equivalence>
    </rule>
    <rule label="7">
      <text>The BMW-owner keeps fish.</text>
      <equivalence>
	<property-value name="car" value="bmw"/>
	<property-value name="pet" value="fish"/>
      </equivalence>
    </rule>
    <rule label="8">
      <text>The blue house is facing the red.</text>
      <facing>
	<property-value name="color" value="blue"/>
	<property-value name="color" value="red"/>
      </facing>
    </rule>
    <rule label="9">
      <text>The Fiat-owner lives between the guinea pig owner and the rabbit owner.</text>
      <neighbor>
	<property-value name="car" value="fiat"/>
	<property-value name="pet" value="guinea_pig"/>
      </neighbor>
      <neighbor>
	<property-value name="car" value="fiat"/>
	<property-value name="pet" value="rabbit"/>
      </neighbor>
    </rule>
    <rule label="10">
      <text>The Ford-owner is a neighbor to the John Silver smoker.</text>
      <neighbor>
	<property-value name="car" value="ford"/>
	<property-value name="cigarette" value="john_silver"/>
      </neighbor>
    </rule>
    <rule label="11">
      <text>The Blend-smoker lives in a white house.</text>
      <equivalence>
	<property-value name="cigarette" value="blend"/>
        <property-value name="color" value="white"/>
      </equivalence>
    </rule>
    <rule label="12">
      <text>The Look-smoker is a neighbor to the red house.</text>
      <neighbor>
	<property-value name="cigarette" value="look"/>
	<property-value name="color" value="red"/>
      </neighbor>
    </rule>
    <rule label="13">
      <text>The cat-owner is living in the house facing the Chesterfield smoker.</text>
      <facing>
	<property-value name="pet" value="cat"/>
	<property-value name="cigarette" value="chesterfield"/>
      </facing>
    </rule>
    <rule label="14">
      <text>The Pall Mall-smoker is neightbor to the dog owner.</text>
      <neighbor>
	<property-value name="cigarette" value="pall_mall"/>
	<property-value name="pet" value="dog"/>
      </neighbor>
    </rule>
    <rule label="15">
      <text>The house of the horse owner is facing the house of the Jaguar owner.</text>
      <facing>
	<property-value name="pet" value="horse"/>
        <property-value name="car" value="jaguar"/>
      </facing>
    </rule>
    <rule label="16"> <!-- Not needed -->
      <text>The purple house on the left side keeps birds.</text>
      <equivalence>
	<property-value name="color" value="purple"/>
	<property-value name="pet" value="bird"/>
      </equivalence>
      <property_in>
	<property-value name="color" value="purple"/>
	<property-value name="position" value="left_side"/>
      </property_in>
    </rule>
    <rule label="17">
      <text>The guy driving Opel is living in a yellow house.</text>
      <equivalence>
	<property-value name="car" value="opel"/>
	<property-value name="color" value="yellow"/>
      </equivalence>
    </rule>
    <rule label="18">
      <text>The brown house resides in the lower left corner.</text>
      <equivalence>
	<property-value name="position" value="0"/>
	<property-value name="color" value="brown"/>
      </equivalence>
    </rule>
    <rule label="19">
      <text>The rabbit owner lives neighbor to the Kent smoker.</text>
      <neighbor>
	<property-value name="cigarette" value="kent"/>
	<property-value name="pet" value="rabbit"/>
      </neighbor>
    </rule>
    <rule label="20">
      <text>Neighbor to the black house is the Camel smoker.</text>
      <neighbor>
	<property-value name="cigarette" value="camel"/>
        <property-value name="color" value="black"/>
      </neighbor>
    </rule>
    <rule label="21">
      <text>The bird owner is neighbor to the Skoda owner.</text>
      <neighbor>
	<property-value name="pet" value="bird"/>
	<property-value name="car" value="skoda"/>
      </neighbor>
    </rule>
    <rule label="22">
      <text>The Commerce smoker is neighbor to the Russian.</text>
      <neighbor>
	<property-value name="cigarette" value="commerce"/>
	<property-value name="nationality" value="russian"/>
      </neighbor>
    </rule>
    <rule label="23">
      <text>The green house is located between the red house and the pink house.</text>
      <neighbor>
	<property-value name="color" value="green"/>
        <property-value name="color" value="pink"/>
      </neighbor>
      <neighbor>
	<property-value name="color" value="red"/>
	<property-value name="color" value="green"/>
      </neighbor>
    </rule>
    <rule label="24">
      <text>The Kent smoker is living facing the black house.</text>
      <facing>
	<property-value name="cigarette" value="kent"/>
	<property-value name="color" value="black"/>
      </facing>
    </rule>
    <rule label="25">
      <text>The Dane is living neighbor to the Englishman.</text>
      <neighbor>
	<property-value name="nationality" value="danish"/>
	<property-value name="nationality" value="english"/>
      </neighbor>
    </rule>
    <rule label="26">
      <text>The Marlborough smoker lives facing the Pole.</text>
      <facing>
	<property-value name="cigarette" value="marlboro"/>
	<property-value name="nationality" value="polish"/>
      </facing>
    </rule>
    <rule label="27"> <!-- Not needed -->
      <text>The dog owner is not neighbor to the Japanese.</text>
      <not_neighbor>
	<property-value name="pet" value="dog"/>
	<property-value name="nationality" value="japan"/>
      </not_neighbor>
    </rule>
    <rule label="28">
      <text>The person driving SAAB lives in a grey house.</text>
      <equivalence>
	<property-value name="car" value="saab"/>
	<property-value name="color" value="grey"/>
      </equivalence>
    </rule>
    <rule label="29">
      <text>The pink house is facing the brown.</text>
      <facing>
	<property-value name="color" value="pink"/>
	<property-value name="color" value="brown"/>
      </facing>
    </rule>
    <rule label="30">
      <text>The Porsche owner lives in a red house.</text>
      <equivalence>
	<property-value name="car" value="porsche"/>
	<property-value name="color" value="red"/>
      </equivalence>
    </rule>
    <rule label="31">
      <text>The Swede is neighbor to the Volvo owner.</text>
      <neighbor>
	<property-value name="nationality" value="swedish"/>
	<property-value name="car" value="volvo"/>
      </neighbor>
    </rule>
    <rule label="32">
      <text>The Russian is neighbor to the Norwegian.</text>
      <neighbor>
	<property-value name="nationality" value="russian"/>
	<property-value name="nationality" value="norwegian"/>
      </neighbor>
    </rule>
    <rule label="33">
      <text>In the house located in the upper left corner, Prince is being smoked.</text>
      <equivalence>
	<property-value name="position" value="4"/>
	<property-value name="cigarette" value="prince"/>
      </equivalence>
    </rule>
    <rule label="34">
      <text>The monkey owner is a neighbor of the brown house.</text>
      <neighbor>
	<property-value name="pet" value="monkey"/>
	<property-value name="color" value="brown"/>
      </neighbor>
    </rule>
    <rule label="35">
    <text>The monkley owner lives between the Skoda owner and the spider owner.</text>
      <neighbor>
	<property-value name="pet" value="monkey"/>
	<property-value name="car" value="skoda"/>
      </neighbor>
      <neighbor>
	<property-value name="pet" value="monkey"/>
	<property-value name="pet" value="spider"/>
      </neighbor>
    </rule>
    <rule label="36">
    <text>The Swede is not the cat owner.</text>
      <exclusion>   
	<property-value name="nationality" value="swedish"/>
	<property-value name="pet" value="cat"/>
      </exclusion>
    </rule>
    <rule label="37">
    <text>The dog owner is a neightbor of the cat owner.</text>
      <neighbor>
	<property-value name="pet" value="dog"/>
	<property-value name="pet" value="cat"/>
      </neighbor>
    </rule>
  </rules>
</puzzle>
