The bear chases the cow. The bear chases the squirrel. The bear eats the cow. The bear is young. The cat eats the bear. The cat is green. The cat is young. The cat sees the squirrel. The cow eats the bear. The squirrel chases the cat. If the bear is big then the bear sees the squirrel. If something chases the squirrel then it sees the squirrel. If the bear is young and the bear is rough then the bear eats the cow. If the cat eats the bear and the bear chases the cow then the cow chases the bear. If something chases the bear and the bear is young then it sees the squirrel. If something eats the cow then the cow sees the cat.
The cat chases the squirrel.
@0: The bear chases the cow.[(triple1)] The bear chases the squirrel.[(triple2)] The bear eats the cow.[(triple3)] The bear is young.[(triple4)] The cat eats the bear.[(triple5)] The cat is green.[(triple6)] The cat is young.[(triple7)] The cat sees the squirrel.[(triple8)] The cow eats the bear.[(triple9)] The squirrel chases the cat.[(triple10)] @1: The bear sees the squirrel.[(((triple2) -> rule2))] The cow chases the bear.[(((triple5 triple1) -> rule4))] The cow sees the cat.[(((triple3) -> rule6))] @2: The cow sees the squirrel.[(((((triple5 triple1) -> rule4) triple4) -> rule5))]