The cow chases the lion. The lion likes the tiger. The tiger is red. If someone is red then they eat the lion. If the tiger chases the lion then the lion is young. If someone eats the lion and the lion likes the tiger then the lion is red. If the cow chases the lion and the cow is kind then the cow eats the tiger. If someone is blue and they like the cow then they are young. If someone chases the lion then they are kind.
The cow is kind.
@0: The cow chases the lion.[(triple1)] The lion likes the tiger.[(triple2)] The tiger is red.[(triple3)] @1: The cow is kind.[(((triple1) -> rule6))] The tiger eats the lion.[(((triple3) -> rule1))] @2: The cow eats the tiger.[(((triple1 ((triple1) -> rule6)) -> rule4))] The lion is red.[(((((triple3) -> rule1) triple2) -> rule3))] @3: The lion eats the lion.[(((((((triple3) -> rule1) triple2) -> rule3)) -> rule1))]