The cow is round. The dog is rough. The tiger is rough. If the dog is round and the dog likes the tiger then the tiger is young. If something eats the tiger then it chases the dog. If something likes the tiger then the tiger likes the dog. If something is rough then it eats the tiger. If something chases the tiger and the tiger eats the dog then it eats the dog. If something chases the tiger and it likes the cow then it is rough.
The dog eats the tiger.
@0: The cow is round.[(triple1)] The dog is rough.[(triple2)] The tiger is rough.[(triple3)] @1: The dog eats the tiger.[(((triple2) -> rule4))] The tiger eats the tiger.[(((triple3) -> rule4))] @2: The dog chases the dog.[(((((triple2) -> rule4)) -> rule2))] The tiger chases the dog.[(((((triple3) -> rule4)) -> rule2))]