The bear is big. The cow likes the bear. The lion likes the cow. The squirrel chases the bear. If the cow likes the squirrel and the cow eats the squirrel then the squirrel eats the bear. If the squirrel likes the lion and the lion eats the bear then the squirrel eats the cow. All big things are cold.
The cow likes the bear.
@0: The bear is big.[(triple1)] The cow likes the bear.[(triple2)] The lion likes the cow.[(triple3)] The squirrel chases the bear.[(triple4)] @1: The bear is cold.[(((triple1) -> rule3))]