The bear is young. The bear visits the squirrel. The cow chases the tiger. The cow is nice. The squirrel chases the bear. The squirrel visits the tiger. The tiger chases the bear. If the bear visits the squirrel then the squirrel likes the bear. If something is young and green then it chases the squirrel.
The bear is not young.
@0: The bear is young.[(triple1)] The bear visits the squirrel.[(triple2)] The cow chases the tiger.[(triple3)] The cow is nice.[(triple4)] The squirrel chases the bear.[(triple5)] The squirrel visits the tiger.[(triple6)] The tiger chases the bear.[(triple7)] @1: The squirrel likes the bear.[(((triple2) -> rule1))]