The bear is red. The cat eats the bear. The cow is young. The squirrel chases the cat. If someone chases the cat then they are young. If someone sees the bear then the bear chases the cat. If the cat sees the squirrel and the squirrel is rough then the squirrel eats the bear. If someone chases the cow then they eat the bear. If someone chases the squirrel then they see the cat. If someone is young then they see the squirrel. If someone is big and they see the squirrel then the squirrel eats the cat. If someone is young then they chase the cow.
The squirrel is young.
@0: The bear is red.[(triple1)] The cat eats the bear.[(triple2)] The cow is young.[(triple3)] The squirrel chases the cat.[(triple4)] @1: The cow chases the cow.[(((triple3) -> rule8))] The cow sees the squirrel.[(((triple3) -> rule6))] The squirrel is young.[(((triple4) -> rule1))] @2: The cow eats the bear.[(((((triple3) -> rule8)) -> rule4))] The squirrel chases the cow.[(((((triple4) -> rule1)) -> rule8))] The squirrel sees the squirrel.[(((((triple4) -> rule1)) -> rule6))] @3: The squirrel eats the bear.[(((((((triple4) -> rule1)) -> rule8)) -> rule4))]