The bear is young. The bear visits the dog. The bear does not visit the squirrel. The dog chases the squirrel. The dog is not rough. The squirrel eats the dog. The squirrel is rough. If someone eats the bear then they eat the squirrel. If someone visits the dog and they do not visit the squirrel then they do not visit the bear. If someone is young then they eat the bear.
The bear does not visit the bear.
@0: The bear does not visit the squirrel.[(triple3)] The bear is young.[(triple1)] The bear visits the dog.[(triple2)] The dog chases the squirrel.[(triple4)] The dog is not rough.[(triple5)] The squirrel eats the dog.[(triple6)] The squirrel is rough.[(triple7)] @1: The bear does not visit the bear.[(((triple2 triple3) -> rule2))] The bear eats the bear.[(((triple1) -> rule3))] @2: The bear eats the squirrel.[(((((triple1) -> rule3)) -> rule1))]