The lion eats the rabbit. The lion is nice. The lion is young. The lion visits the tiger. The rabbit eats the lion. The rabbit needs the lion. The squirrel needs the rabbit. The squirrel needs the tiger. The squirrel visits the rabbit. The tiger eats the squirrel. The tiger is cold. The tiger does not need the lion. If someone visits the tiger and the tiger visits the lion then they eat the squirrel. If someone visits the lion then they need the squirrel. If someone visits the rabbit then they are nice. If someone visits the rabbit and they are not young then the rabbit is nice. If someone is red and they eat the tiger then they need the lion. If someone is nice and they need the squirrel then they are round. If someone needs the lion and the lion eats the tiger then they are not round. If someone is young then they visit the rabbit. If someone eats the squirrel and the squirrel visits the rabbit then they visit the lion.
The lion does not visit the lion.
@0: The lion eats the rabbit.[(triple1)] The lion is nice.[(triple2 OR ((((triple3) -> rule8)) -> rule3))] The lion is young.[(triple3)] The lion visits the tiger.[(triple4)] The rabbit eats the lion.[(triple5)] The rabbit needs the lion.[(triple6)] The squirrel needs the rabbit.[(triple7)] The squirrel needs the tiger.[(triple8)] The squirrel visits the rabbit.[(triple9)] The tiger does not need the lion.[(triple12)] The tiger eats the squirrel.[(triple10)] The tiger is cold.[(triple11)] @1: The lion visits the rabbit.[(((triple3) -> rule8))] The squirrel is nice.[(((triple9) -> rule3))] The tiger visits the lion.[(((triple10 triple9) -> rule9))] @2: The lion eats the squirrel.[(((triple4 ((triple10 triple9) -> rule9)) -> rule1))] The tiger needs the squirrel.[(((((triple10 triple9) -> rule9)) -> rule2))] @3: The lion visits the lion.[(((((triple4 ((triple10 triple9) -> rule9)) -> rule1) triple9) -> rule9))] @4: The lion needs the squirrel.[(((((((triple4 ((triple10 triple9) -> rule9)) -> rule1) triple9) -> rule9)) -> rule2))] @5: The lion is round.[(((triple2 ((((((triple4 ((triple10 triple9) -> rule9)) -> rule1) triple9) -> rule9)) -> rule2)) -> rule6) OR ((((((triple3) -> rule8)) -> rule3) ((((((triple4 ((triple10 triple9) -> rule9)) -> rule1) triple9) -> rule9)) -> rule2)) -> rule6))]