The bear is young. The cat does not chase the bear. The cat chases the cow. The cat eats the bear. The cat eats the cow. The cat eats the squirrel. The cow chases the squirrel. The cow likes the cat. The squirrel chases the cat. The squirrel chases the cow. The squirrel eats the bear. The squirrel is big. The squirrel is nice. The squirrel is round. The squirrel is not young. The squirrel likes the cow. If something is nice then it likes the bear.
The bear is young.
@0: The bear is young.[(triple1)] The cat chases the cow.[(triple3)] The cat does not chase the bear.[(triple2)] The cat eats the bear.[(triple4)] The cat eats the cow.[(triple5)] The cat eats the squirrel.[(triple6)] The cow chases the squirrel.[(triple7)] The cow likes the cat.[(triple8)] The squirrel chases the cat.[(triple9)] The squirrel chases the cow.[(triple10)] The squirrel eats the bear.[(triple11)] The squirrel is big.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is not young.[(triple15)] The squirrel is round.[(triple14)] The squirrel likes the cow.[(triple16)] @1: The squirrel likes the bear.[(((triple13) -> rule1))]