The bear is nice. The bear sees the dog. The bear sees the mouse. The bear visits the mouse. The dog is green. The dog is young. The mouse sees the bear. The mouse visits the squirrel. The squirrel needs the bear. The squirrel visits the dog. If the dog is green then the dog sees the bear.
The bear is nice.
@0: The bear is nice.[(triple1)] The bear sees the dog.[(triple2)] The bear sees the mouse.[(triple3)] The bear visits the mouse.[(triple4)] The dog is green.[(triple5)] The dog is young.[(triple6)] The mouse sees the bear.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The dog sees the bear.[(((triple5) -> rule1))]