The bear needs the cat. The cat is young. The rabbit needs the bear. If the rabbit needs the bear then the bear sees the cat. If something likes the bear then it likes the cat. If something sees the cat then it is rough.
The rabbit is big.
@0: The bear needs the cat.[(triple1)] The cat is young.[(triple2)] The rabbit needs the bear.[(triple3)] @1: The bear sees the cat.[(((triple3) -> rule1))] @2: The bear is rough.[(((((triple3) -> rule1)) -> rule3))]