The cat is cold. The cat visits the mouse. The mouse visits the cat. If someone is cold then they are green. If someone visits the mouse and they eat the cat then the cat eats the mouse. If someone is cold and green then they eat the mouse.
The cat is cold.
@0: The cat is cold.[(triple1)] The cat visits the mouse.[(triple2)] The mouse visits the cat.[(triple3)] @1: The cat is green.[(((triple1) -> rule1))] @2: The cat eats the mouse.[(((triple1 ((triple1) -> rule1)) -> rule3))]