The bear chases the cow. The bear chases the squirrel. The bear does not need the cow. The bear visits the squirrel. The cow is rough. The dog does not chase the cow. The dog is nice. The dog visits the bear. The squirrel is rough. The squirrel does not visit the bear. The squirrel visits the cow. The squirrel visits the dog. If something is rough then it visits the cow. If something visits the squirrel then it chases the cow. If something visits the cow and the cow is not big then the cow needs the squirrel. If something is big then it does not need the squirrel. If something needs the squirrel then it is not round. If something is big and it does not visit the squirrel then it does not need the dog. If something visits the dog then the dog is rough. If something visits the cow and it does not chase the cow then the cow does not need the dog.
The dog does not visit the cow.
@0: The bear chases the cow.[(triple1 OR ((triple4) -> rule2))] The bear chases the squirrel.[(triple2)] The bear does not need the cow.[(triple3)] The bear visits the squirrel.[(triple4)] The cow is rough.[(triple5)] The dog does not chase the cow.[(triple6)] The dog is nice.[(triple7)] The dog visits the bear.[(triple8)] The squirrel does not visit the bear.[(triple10)] The squirrel is rough.[(triple9)] The squirrel visits the cow.[(triple11 OR ((triple9) -> rule1))] The squirrel visits the dog.[(triple12)] @1: The cow visits the cow.[(((triple5) -> rule1))] The dog is rough.[(((triple12) -> rule7))] @2: The dog visits the cow.[(((((triple12) -> rule7)) -> rule1))] @3: The cow does not need the dog.[(((((((triple12) -> rule7)) -> rule1) triple6) -> rule8))]