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