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 tiger is not green.
@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))]