The bear chases the cow. The bear is round. The bear sees the mouse. The bear visits the dog. The cow is young. The cow does not visit the mouse. The dog is round. The dog sees the bear. The dog sees the cow. The dog does not visit the cow. The mouse is young. The mouse does not visit the bear. If something visits the cow and the cow does not visit the bear then it chases the bear. If something visits the dog then the dog sees the cow. If something chases the dog and it chases the cow then it sees the bear. If something is red then it sees the bear. If something chases the dog then it chases the cow. If something sees the cow then the cow chases the dog. If the dog is nice then the dog visits the mouse. If something is big and it sees the mouse then it is red.
The bear chases the dog.
@0: The bear chases the cow.[(triple1)] The bear is round.[(triple2)] The bear sees the mouse.[(triple3)] The bear visits the dog.[(triple4)] The cow does not visit the mouse.[(triple6)] The cow is young.[(triple5)] The dog does not visit the cow.[(triple10)] The dog is round.[(triple7)] The dog sees the bear.[(triple8)] The dog sees the cow.[(triple9 OR ((triple4) -> rule2))] The mouse does not visit the bear.[(triple12)] The mouse is young.[(triple11)] @1: The cow chases the dog.[(((triple9) -> rule6) OR ((((triple4) -> rule2)) -> rule6))] @2: The cow chases the cow.[(((((triple9) -> rule6)) -> rule5) OR ((((((triple4) -> rule2)) -> rule6)) -> rule5))] @3: The cow sees the bear.[(((((triple9) -> rule6) ((((triple9) -> rule6)) -> rule5)) -> rule3) OR ((((((triple4) -> rule2)) -> rule6) ((((triple9) -> rule6)) -> rule5)) -> rule3) OR ((((triple9) -> rule6) ((((((triple4) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple4) -> rule2)) -> rule6) ((((((triple4) -> rule2)) -> rule6)) -> rule5)) -> rule3))]