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