The cat chases the cow. The cow eats the cat. If the cow eats the cat then the cat needs the cow. If someone chases the cow and they need the cow then the cow chases the cat. If someone is cold and they eat the cow then the cow eats the cat.
The cat is cold.
@0: The cat chases the cow.[(triple1)] The cow eats the cat.[(triple2)] @1: The cat needs the cow.[(((triple2) -> rule1))] @2: The cow chases the cat.[(((triple1 ((triple2) -> rule1)) -> rule2))]