The bear is blue. The dog chases the bear. The dog is blue. The dog visits the mouse. The mouse chases the dog. The mouse eats the bear. The mouse is kind. If something is kind and it visits the dog then it is red. If something eats the mouse then the mouse visits the dog. If something chases the mouse and the mouse chases the dog then the dog eats the mouse. If something is cold then it visits the dog. If something chases the bear and the bear is blue then it chases the mouse. If something is blue then it visits the bear.
The mouse visits the bear.
@0: The bear is blue.[(triple1)] The dog chases the bear.[(triple2)] The dog is blue.[(triple3)] The dog visits the mouse.[(triple4)] The mouse chases the dog.[(triple5)] The mouse eats the bear.[(triple6)] The mouse is kind.[(triple7)] @1: The bear visits the bear.[(((triple1) -> rule6))] The dog chases the mouse.[(((triple2 triple1) -> rule5))] The dog visits the bear.[(((triple3) -> rule6))] @2: The dog eats the mouse.[(((((triple2 triple1) -> rule5) triple5) -> rule3))] @3: The mouse visits the dog.[(((((((triple2 triple1) -> rule5) triple5) -> rule3)) -> rule2))] @4: The mouse is red.[(((triple7 ((((((triple2 triple1) -> rule5) triple5) -> rule3)) -> rule2)) -> rule1))]