The cat likes the squirrel. The lion is young. The squirrel eats the lion. All young people are kind. If someone is kind then they like the cat. If the lion is cold and the lion likes the cat then the lion is rough.
The cat is kind.
@0: The cat likes the squirrel.[(triple1)] The lion is young.[(triple2)] The squirrel eats the lion.[(triple3)] @1: The lion is kind.[(((triple2) -> rule1))] @2: The lion likes the cat.[(((((triple2) -> rule1)) -> rule2))]