The cat likes the lion. The lion likes the cat. If something sees the cat then the cat chases the lion. If the cat is kind then the cat is rough. If something is rough then it chases the lion. If something likes the cat and it is rough then it chases the cat. If something sees the cat and it is red then the cat chases the lion. If something chases the cat then the cat sees the lion. If something chases the cat then the cat sees the lion. If something likes the cat then it likes the lion.
The lion is red.
@0: The cat likes the lion.[(triple1)] The lion likes the cat.[(triple2)] @1: The lion likes the lion.[(((triple2) -> rule8))]