The bear eats the tiger. The bear is blue. The bear is green. The bear visits the squirrel. The squirrel chases the bear. The squirrel eats the tiger. The squirrel is green. The squirrel visits the bear. The squirrel visits the tiger. The tiger eats the squirrel. The tiger is rough. The tiger visits the bear. If something visits the tiger then it is young.
The squirrel visits the bear.
@0: The bear eats the tiger.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear visits the squirrel.[(triple4)] The squirrel chases the bear.[(triple5)] The squirrel eats the tiger.[(triple6)] The squirrel is green.[(triple7)] The squirrel visits the bear.[(triple8)] The squirrel visits the tiger.[(triple9)] The tiger eats the squirrel.[(triple10)] The tiger is rough.[(triple11)] The tiger visits the bear.[(triple12)] @1: The squirrel is young.[(((triple9) -> rule1))]