The cat needs the lion. The lion is nice. If something needs the lion and it likes the lion then the lion sees the cat. If the lion sees the cat then the cat sees the lion. If something needs the lion then the lion needs the cat. If something sees the cat then it is cold. If something likes the cat and the cat likes the lion then the lion sees the cat. If something is blue and it needs the lion then it needs the cat. If the lion needs the cat then the lion likes the cat. If something is blue and it likes the lion then the lion likes the cat.
The lion is rough.
@0: The cat needs the lion.[(triple1)] The lion is nice.[(triple2)] @1: The lion needs the cat.[(((triple1) -> rule3))] @2: The lion likes the cat.[(((((triple1) -> rule3)) -> rule7))]