The dog eats the tiger. The lion eats the dog. The lion eats the tiger. The lion is red. The tiger eats the lion. The tiger likes the dog. The tiger likes the lion. If the tiger is red then the tiger is nice. If the lion eats the tiger then the tiger likes the lion. If something eats the lion then the lion likes the tiger. If something is big and it eats the dog then it eats the lion. If something chases the dog and it eats the lion then the dog is red. If something eats the dog then it is rough.
The dog likes the tiger.
@0: The dog eats the tiger.[(triple1)] The lion eats the dog.[(triple2)] The lion eats the tiger.[(triple3)] The lion is red.[(triple4)] The tiger eats the lion.[(triple5)] The tiger likes the dog.[(triple6)] The tiger likes the lion.[(triple7 OR ((triple3) -> rule2))] @1: The lion is rough.[(((triple2) -> rule6))] The lion likes the tiger.[(((triple5) -> rule3))]