The dog does not see the lion. The lion sees the tiger. The tiger sees the lion. If the tiger is kind and the tiger sees the lion then the lion is cold. If someone chases the lion then they eat the dog. If someone sees the lion then they are kind. If someone chases the dog then the dog does not eat the lion. If someone is kind then they chase the lion. If someone is kind and they see the tiger then the tiger chases the lion.
The tiger eats the dog.
@0: The dog does not see the lion.[(triple1)] The lion sees the tiger.[(triple2)] The tiger sees the lion.[(triple3)] @1: The tiger is kind.[(((triple3) -> rule3))] @2: The lion is cold.[(((((triple3) -> rule3) triple3) -> rule1))] The tiger chases the lion.[(((((triple3) -> rule3)) -> rule5))] @3: The tiger eats the dog.[(((((((triple3) -> rule3)) -> rule5)) -> rule2))]