The cat eats the lion. The lion is kind. The lion sees the cat. If something sees the lion and the lion chases the cat then it chases the lion. If the lion sees the cat then the cat sees the lion. If the cat is rough then the cat chases the lion. If something is green then it chases the lion. If something chases the lion then it eats the cat. If the lion chases the cat and the cat is nice then the cat is kind.
The cat is kind.
@0: The cat eats the lion.[(triple1)] The lion is kind.[(triple2)] The lion sees the cat.[(triple3)] @1: The cat sees the lion.[(((triple3) -> rule2))]