The cat needs the lion. The lion is blue. The lion needs the cat. If someone needs the cat then they need the lion. If someone chases the lion and they are cold then they are rough. If someone is kind and they eat the lion then they are blue.
The lion needs the cat.
@0: The cat needs the lion.[(triple1)] The lion is blue.[(triple2)] The lion needs the cat.[(triple3)] @1: The lion needs the lion.[(((triple3) -> rule1))]