The dog is kind. The dog likes the lion. The dog sees the tiger. The lion eats the tiger. The lion likes the squirrel. The lion sees the dog. The squirrel eats the tiger. The tiger eats the lion. The tiger eats the squirrel. The tiger is green. If someone likes the dog then the dog likes the squirrel. If the lion is nice then the lion eats the tiger. If someone eats the lion then the lion sees the squirrel. If someone eats the dog then the dog likes the tiger. If the dog sees the lion then the dog is nice. If someone likes the tiger and they are big then the tiger likes the lion.
The tiger does not like the lion.
@0: The dog is kind.[(triple1)] The dog likes the lion.[(triple2)] The dog sees the tiger.[(triple3)] The lion eats the tiger.[(triple4)] The lion likes the squirrel.[(triple5)] The lion sees the dog.[(triple6)] The squirrel eats the tiger.[(triple7)] The tiger eats the lion.[(triple8)] The tiger eats the squirrel.[(triple9)] The tiger is green.[(triple10)] @1: The lion sees the squirrel.[(((triple8) -> rule3))]