The bear eats the cow. The bear eats the dog. The bear is green. The bear visits the dog. The cow eats the squirrel. The cow sees the dog. The cow does not visit the squirrel. The dog visits the cow. The dog visits the squirrel. The squirrel is rough. The squirrel sees the dog. The squirrel visits the bear. If someone is green and they eat the bear then the bear is rough. If the cow sees the dog then the dog is young. If the cow is young then the cow visits the squirrel. If the cow eats the squirrel and the cow does not see the bear then the cow is round. If the dog sees the cow and the cow eats the squirrel then the cow sees the squirrel. Round people are not young. If someone is young then they see the cow. If the squirrel visits the bear and the bear is rough then the bear eats the squirrel.
The bear does not visit the dog.
@0: The bear eats the cow.[(triple1)] The bear eats the dog.[(triple2)] The bear is green.[(triple3)] The bear visits the dog.[(triple4)] The cow does not visit the squirrel.[(triple7)] The cow eats the squirrel.[(triple5)] The cow sees the dog.[(triple6)] The dog visits the cow.[(triple8)] The dog visits the squirrel.[(triple9)] The squirrel is rough.[(triple10)] The squirrel sees the dog.[(triple11)] The squirrel visits the bear.[(triple12)] @1: The dog is young.[(((triple6) -> rule2))] @2: The dog sees the cow.[(((((triple6) -> rule2)) -> rule7))] @3: The cow sees the squirrel.[(((((((triple6) -> rule2)) -> rule7) triple5) -> rule5))]