The bear chases the cow. The bear chases the squirrel. The bear is big. The bear is nice. The bear is young. The bear visits the squirrel. The cow eats the bear. The cow is cold. The cow visits the squirrel. The squirrel is young. If someone is nice then they chase the cow. If someone is green and they eat the cow then the cow visits the squirrel. If someone visits the cow and they are cold then the cow chases the squirrel. If the cow eats the squirrel and the squirrel eats the bear then the squirrel is green. If someone visits the bear then the bear is young. If the cow chases the squirrel and the cow is nice then the squirrel eats the cow. If someone is big and they visit the squirrel then the squirrel chases the bear. If someone visits the bear then the bear chases the squirrel.
The squirrel chases the bear.
@0: The bear chases the cow.[(triple1 OR ((triple4) -> rule1))] The bear chases the squirrel.[(triple2)] The bear is big.[(triple3)] The bear is nice.[(triple4)] The bear is young.[(triple5)] The bear visits the squirrel.[(triple6)] The cow eats the bear.[(triple7)] The cow is cold.[(triple8)] The cow visits the squirrel.[(triple9)] The squirrel is young.[(triple10)] @1: The squirrel chases the bear.[(((triple3 triple6) -> rule7))]