The cat chases the lion. The cat likes the lion. The lion likes the cat. If something chases the cat then the cat likes the lion. If the cat chases the lion and the lion likes the cat then the lion is blue. If something chases the cat then the cat is kind.
The cat is not kind.
@0: The cat chases the lion.[(triple1)] The cat likes the lion.[(triple2)] The lion likes the cat.[(triple3)] @1: The lion is blue.[(((triple1 triple3) -> rule2))]