The bear likes the tiger. The tiger is red. The tiger likes the bear. If something likes the tiger and it likes the bear then it visits the bear. If something likes the tiger then it likes the bear. If something chases the bear and it chases the tiger then the tiger chases the bear. If something visits the bear then the bear chases the tiger. If something is rough and it chases the tiger then the tiger is round. If something chases the tiger and it chases the bear then the tiger is red.
The tiger likes the bear.
@0: The bear likes the tiger.[(triple1)] The tiger is red.[(triple2)] The tiger likes the bear.[(triple3)] @1: The bear likes the bear.[(((triple1) -> rule2))] @2: The bear visits the bear.[(((triple1 ((triple1) -> rule2)) -> rule1))] @3: The bear chases the tiger.[(((((triple1 ((triple1) -> rule2)) -> rule1)) -> rule4))]