The bear chases the lion. The bear chases the squirrel. The bear eats the squirrel. The bear eats the tiger. The bear is nice. The lion chases the squirrel. The lion chases the tiger. The lion sees the squirrel. The lion sees the tiger. The squirrel is cold. The squirrel sees the lion. The tiger chases the bear. The tiger eats the lion. The tiger is green. The tiger is kind. The tiger sees the bear. If something chases the tiger then it eats the tiger.
The squirrel is not kind.
@0: The bear chases the lion.[(triple1)] The bear chases the squirrel.[(triple2)] The bear eats the squirrel.[(triple3)] The bear eats the tiger.[(triple4)] The bear is nice.[(triple5)] The lion chases the squirrel.[(triple6)] The lion chases the tiger.[(triple7)] The lion sees the squirrel.[(triple8)] The lion sees the tiger.[(triple9)] The squirrel is cold.[(triple10)] The squirrel sees the lion.[(triple11)] The tiger chases the bear.[(triple12)] The tiger eats the lion.[(triple13)] The tiger is green.[(triple14)] The tiger is kind.[(triple15)] The tiger sees the bear.[(triple16)] @1: The lion eats the tiger.[(((triple7) -> rule1))]