The lion is round. The lion sees the squirrel. The squirrel chases the lion. The squirrel chases the tiger. The squirrel is big. The tiger chases the lion. The tiger sees the lion. If something chases the tiger then it eats the lion. If the lion is green and the lion is big then the lion eats the tiger.
The lion does not eat the tiger.
@0: The lion is round.[(triple1)] The lion sees the squirrel.[(triple2)] The squirrel chases the lion.[(triple3)] The squirrel chases the tiger.[(triple4)] The squirrel is big.[(triple5)] The tiger chases the lion.[(triple6)] The tiger sees the lion.[(triple7)] @1: The squirrel eats the lion.[(((triple4) -> rule1))]