The cat does not eat the lion. The lion chases the cat. If someone is rough then they eat the lion. If someone is cold and they eat the cat then they do not eat the lion. If someone chases the cat then the cat chases the lion. If someone chases the lion then they chase the cat. If someone chases the cat and they do not eat the lion then they do not need the lion. If the lion eats the cat and the cat does not eat the lion then the lion is round.
The cat does not need the lion.
@0: The cat does not eat the lion.[(triple1)] The lion chases the cat.[(triple2)] @1: The cat chases the lion.[(((triple2) -> rule3))] @2: The cat chases the cat.[(((((triple2) -> rule3)) -> rule4))] @3: The cat does not need the lion.[(((((((triple2) -> rule3)) -> rule4) triple1) -> rule5))]