The bear is blue. The bear is round. The bear is young. The bear visits the dog. The cow sees the dog. The cow visits the mouse. The dog is rough. The mouse is blue. The mouse likes the dog. The mouse sees the dog. If the dog is round then the dog is young. If something visits the mouse then the mouse visits the bear.
The cow visits the mouse.
@0: The bear is blue.[(triple1)] The bear is round.[(triple2)] The bear is young.[(triple3)] The bear visits the dog.[(triple4)] The cow sees the dog.[(triple5)] The cow visits the mouse.[(triple6)] The dog is rough.[(triple7)] The mouse is blue.[(triple8)] The mouse likes the dog.[(triple9)] The mouse sees the dog.[(triple10)] @1: The mouse visits the bear.[(((triple6) -> rule2))]