The bear is round. The dog chases the bear. The dog chases the mouse. The dog is nice. The dog needs the mouse. The lion is blue. The mouse needs the dog. If someone needs the bear then they need the dog. If someone is nice then they need the dog.
The bear is blue.
@0: The bear is round.[(triple1)] The dog chases the bear.[(triple2)] The dog chases the mouse.[(triple3)] The dog is nice.[(triple4)] The dog needs the mouse.[(triple5)] The lion is blue.[(triple6)] The mouse needs the dog.[(triple7)] @1: The dog needs the dog.[(((triple4) -> rule2))]