The cat does not like the cow. The cow chases the lion. The lion likes the cat. If something is round then it chases the cat. If the lion likes the cat then the cat chases the lion. If the cow is round then the cow does not see the lion. If the lion is round then the lion chases the cow. If something is rough and it sees the lion then it is not cold. If something is kind and rough then it sees the cat.
The lion does not chase the cow.
@0: The cat does not like the cow.[(triple1)] The cow chases the lion.[(triple2)] The lion likes the cat.[(triple3)] @1: The cat chases the lion.[(((triple3) -> rule2))]