The bear chases the cow. The bear chases the rabbit. The bear eats the squirrel. The bear is nice. The cow chases the rabbit. The rabbit chases the bear. The rabbit chases the cow. The rabbit eats the squirrel. The rabbit is big. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel is round. If the rabbit chases the cow then the rabbit eats the squirrel. If someone is nice then they see the bear. If the squirrel eats the rabbit then the rabbit chases the bear.
The cow does not see the bear.
@0: The bear chases the cow.[(triple1)] The bear chases the rabbit.[(triple2)] The bear eats the squirrel.[(triple3)] The bear is nice.[(triple4)] The cow chases the rabbit.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit chases the cow.[(triple7)] The rabbit eats the squirrel.[(triple8 OR ((triple7) -> rule1))] The rabbit is big.[(triple9)] The rabbit sees the squirrel.[(triple10)] The squirrel chases the rabbit.[(triple11)] The squirrel is round.[(triple12)] @1: The bear sees the bear.[(((triple4) -> rule2))]