The cow is cold. The lion is rough. The mouse eats the cow. The tiger is green. If someone is cold then they eat the lion.
The cow is cold.
@0: The cow is cold.[(triple1)] The lion is rough.[(triple2)] The mouse eats the cow.[(triple3)] The tiger is green.[(triple4)] @1: The cow eats the lion.[(((triple1) -> rule1))]