The lion is kind. The lion is rough. The lion likes the rabbit. The lion likes the squirrel. The rabbit eats the tiger. The rabbit is young. The squirrel chases the lion. The squirrel chases the rabbit. The squirrel eats the lion. The squirrel eats the tiger. The squirrel likes the rabbit. The tiger chases the lion. The tiger eats the lion. The tiger is cold. The tiger likes the squirrel. If something chases the lion then it eats the lion. If something chases the tiger then the tiger eats the rabbit. If something likes the rabbit then the rabbit eats the squirrel.
The lion likes the lion.
@0: The lion is kind.[(triple1)] The lion is rough.[(triple2)] The lion likes the rabbit.[(triple3)] The lion likes the squirrel.[(triple4)] The rabbit eats the tiger.[(triple5)] The rabbit is young.[(triple6)] The squirrel chases the lion.[(triple7)] The squirrel chases the rabbit.[(triple8)] The squirrel eats the lion.[(triple9 OR ((triple7) -> rule1))] The squirrel eats the tiger.[(triple10)] The squirrel likes the rabbit.[(triple11)] The tiger chases the lion.[(triple12)] The tiger eats the lion.[(triple13 OR ((triple12) -> rule1))] The tiger is cold.[(triple14)] The tiger likes the squirrel.[(triple15)] @1: The rabbit eats the squirrel.[(((triple11) -> rule3) OR ((triple3) -> rule3))]