The cat likes the cow. The cow is young. The lion is big. If the lion is cold then the lion likes the cat. If something is big then it likes the lion. If something is young and it likes the cow then it eats the lion.
The cow is young.
@0: The cat likes the cow.[(triple1)] The cow is young.[(triple2)] The lion is big.[(triple3)] @1: The lion likes the lion.[(((triple3) -> rule2))]