The bear does not chase the dog. The bear chases the mouse. The bear is young. The dog chases the mouse. The dog is not green. The dog is round. The mouse chases the bear. If someone chases the dog then the dog is young. If the dog visits the bear and the bear does not chase the mouse then the bear chases the dog. If the mouse visits the dog and the mouse is not kind then the mouse visits the bear. If the dog does not chase the mouse then the mouse does not chase the dog. If someone visits the mouse then they visit the bear. If someone is green and they visit the bear then the bear likes the mouse. If someone likes the dog and the dog is round then the dog visits the mouse. If someone chases the bear then the bear likes the dog.
The bear does not like the dog.
@0: The bear chases the mouse.[(triple2)] The bear does not chase the dog.[(triple1)] The bear is young.[(triple3)] The dog chases the mouse.[(triple4)] The dog is not green.[(triple5)] The dog is round.[(triple6)] The mouse chases the bear.[(triple7)] @1: The bear likes the dog.[(((triple7) -> rule8))] @2: The dog visits the mouse.[(((((triple7) -> rule8) triple6) -> rule7))] @3: The dog visits the bear.[(((((((triple7) -> rule8) triple6) -> rule7)) -> rule5))]