The lion chases the rabbit. The lion is blue. The lion is cold. The lion is nice. The lion needs the tiger. The rabbit is kind. The rabbit needs the lion. The tiger does not chase the lion. The tiger chases the rabbit. The tiger is blue. The tiger does not need the lion. The tiger visits the lion. Cold people are kind. If someone is kind then they chase the lion. If someone chases the lion then the lion visits the tiger. If someone needs the rabbit and the rabbit does not visit the tiger then they are blue. If the lion is blue and the lion is kind then the lion chases the tiger. If someone visits the rabbit then the rabbit is cold.
The rabbit is red.
@0: The lion chases the rabbit.[(triple1)] The lion is blue.[(triple2)] The lion is cold.[(triple3)] The lion is nice.[(triple4)] The lion needs the tiger.[(triple5)] The rabbit is kind.[(triple6)] The rabbit needs the lion.[(triple7)] The tiger chases the rabbit.[(triple9)] The tiger does not chase the lion.[(triple8)] The tiger does not need the lion.[(triple11)] The tiger is blue.[(triple10)] The tiger visits the lion.[(triple12)] @1: The lion is kind.[(((triple3) -> rule1))] The rabbit chases the lion.[(((triple6) -> rule2))] @2: The lion chases the lion.[(((((triple3) -> rule1)) -> rule2))] The lion chases the tiger.[(((triple2 ((triple3) -> rule1)) -> rule5))] The lion visits the tiger.[(((((triple6) -> rule2)) -> rule3) OR ((((((triple3) -> rule1)) -> rule2)) -> rule3))]