The cow is rough. The cow likes the dog. The cow likes the tiger. The dog eats the tiger. The dog is round. The dog likes the cow. The tiger likes the dog. If something is kind then it is round. If something eats the tiger then it chases the tiger. If something likes the dog and the dog chases the tiger then it eats the tiger. If the cow chases the tiger and the cow chases the dog then the dog chases the tiger. If something chases the tiger and it chases the dog then the dog likes the tiger. If the dog likes the tiger then the tiger is round. If the dog is red and the dog likes the tiger then the tiger likes the dog. If the tiger eats the dog then the tiger chases the cow.
The tiger does not eat the tiger.
@0: The cow is rough.[(triple1)] The cow likes the dog.[(triple2)] The cow likes the tiger.[(triple3)] The dog eats the tiger.[(triple4)] The dog is round.[(triple5)] The dog likes the cow.[(triple6)] The tiger likes the dog.[(triple7)] @1: The dog chases the tiger.[(((triple4) -> rule2))] @2: The cow eats the tiger.[(((triple2 ((triple4) -> rule2)) -> rule3))] The tiger eats the tiger.[(((triple7 ((triple4) -> rule2)) -> rule3))] @3: The cow chases the tiger.[(((((triple2 ((triple4) -> rule2)) -> rule3)) -> rule2))] The tiger chases the tiger.[(((((triple7 ((triple4) -> rule2)) -> rule3)) -> rule2))]