The bear chases the cow. The bear is cold. The bear is round. The bear likes the squirrel. The bear sees the cow. The bear sees the squirrel. The cow chases the bear. The cow is nice. The cow is round. The cow sees the bear. The squirrel likes the bear. The squirrel sees the bear. If someone sees the squirrel then the squirrel likes the cow. If someone sees the cow then the cow chases the bear. If someone is big and kind then they chase the bear. Kind people are big. If someone sees the bear and the bear is big then the bear chases the cow. If someone likes the bear then they chase the bear. If someone likes the cow and they see the cow then the cow likes the squirrel. If someone sees the squirrel then they like the squirrel.
The bear does not see the cow.
@0: The bear chases the cow.[(triple1)] The bear is cold.[(triple2)] The bear is round.[(triple3)] The bear likes the squirrel.[(triple4 OR ((triple6) -> rule8))] The bear sees the cow.[(triple5)] The bear sees the squirrel.[(triple6)] The cow chases the bear.[(triple7 OR ((triple5) -> rule2))] The cow is nice.[(triple8)] The cow is round.[(triple9)] The cow sees the bear.[(triple10)] The squirrel likes the bear.[(triple11)] The squirrel sees the bear.[(triple12)] @1: The squirrel chases the bear.[(((triple11) -> rule6))] The squirrel likes the cow.[(((triple6) -> rule1))]