The bear chases the cat. The cat chases the lion. The dog likes the cat. The lion eats the dog. If something likes the cat then it chases the lion. If something likes the lion and it chases the lion then it is round. If something is rough and red then it is round. If something is nice and it eats the cat then the cat is rough. If something chases the dog then it likes the lion. If something eats the cat and it chases the lion then the cat is nice.
The bear eats the dog.
@0: The bear chases the cat.[(triple1)] The cat chases the lion.[(triple2)] The dog likes the cat.[(triple3)] The lion eats the dog.[(triple4)] @1: The dog chases the lion.[(((triple3) -> rule1))]