The cat chases the lion. The lion chases the cat. If something chases the lion and it chases the cat then it needs the cat. If something sees the lion then it needs the lion. If something chases the lion then it is red. If something sees the lion and the lion is nice then the lion needs the cat. If the cat chases the lion then the lion needs the cat. Red things are round.
The cat is blue.
@0: The cat chases the lion.[(triple1)] The lion chases the cat.[(triple2)] @1: The cat is red.[(((triple1) -> rule3))] The lion needs the cat.[(((triple1) -> rule5))] @2: The cat is round.[(((((triple1) -> rule3)) -> rule6))]