The bear is cold. The dog does not chase the lion. The lion is not blue. The lion likes the squirrel. The squirrel eats the lion. The squirrel is cold. The squirrel does not like the bear. If the squirrel is cold then the squirrel chases the bear. If something chases the bear then the bear eats the squirrel.
The dog does not eat the bear.
@0: The bear is cold.[(triple1)] The dog does not chase the lion.[(triple2)] The lion is not blue.[(triple3)] The lion likes the squirrel.[(triple4)] The squirrel does not like the bear.[(triple7)] The squirrel eats the lion.[(triple5)] The squirrel is cold.[(triple6)] @1: The squirrel chases the bear.[(((triple6) -> rule1))] @2: The bear eats the squirrel.[(((((triple6) -> rule1)) -> rule2))]