The cat visits the cow. The cow chases the lion. The lion chases the cow. The tiger eats the cow. If someone eats the cow then they are cold. If someone is green then they visit the lion. If someone is cold then they chase the lion.
The tiger does not chase the lion.
@0: The cat visits the cow.[(triple1)] The cow chases the lion.[(triple2)] The lion chases the cow.[(triple3)] The tiger eats the cow.[(triple4)] @1: The tiger is cold.[(((triple4) -> rule1))] @2: The tiger chases the lion.[(((((triple4) -> rule1)) -> rule3))]