The bear sees the cat. The cat needs the bear. The lion is nice. If someone chases the bear then they chase the lion. If someone sees the lion then the lion is big. If someone needs the bear then they see the lion.
The lion is not big.
@0: The bear sees the cat.[(triple1)] The cat needs the bear.[(triple2)] The lion is nice.[(triple3)] @1: The cat sees the lion.[(((triple2) -> rule3))] @2: The lion is big.[(((((triple2) -> rule3)) -> rule2))]