The bear is round. The bear needs the dog. The bear needs the mouse. The cat visits the mouse. The dog is round. The mouse is round. The mouse needs the bear. The mouse sees the bear. The mouse visits the cat. The mouse visits the dog. If something visits the dog then it is blue.
The dog is round.
@0: The bear is round.[(triple1)] The bear needs the dog.[(triple2)] The bear needs the mouse.[(triple3)] The cat visits the mouse.[(triple4)] The dog is round.[(triple5)] The mouse is round.[(triple6)] The mouse needs the bear.[(triple7)] The mouse sees the bear.[(triple8)] The mouse visits the cat.[(triple9)] The mouse visits the dog.[(triple10)] @1: The mouse is blue.[(((triple10) -> rule1))]