The cat needs the mouse. The dog visits the cat. The mouse chases the dog. The rabbit chases the cat. If something chases the dog and it needs the dog then the dog is red. If something is red and it visits the cat then it is blue. If something needs the cat and it visits the mouse then the mouse is round. If the dog visits the mouse then the mouse needs the rabbit. If something needs the mouse then the mouse needs the dog. If something chases the mouse and it needs the dog then the mouse is round. If something is cold and it chases the mouse then it needs the rabbit. If something is red and it needs the dog then the dog visits the cat.
The mouse visits the dog.
@0: The cat needs the mouse.[(triple1)] The dog visits the cat.[(triple2)] The mouse chases the dog.[(triple3)] The rabbit chases the cat.[(triple4)] @1: The mouse needs the dog.[(((triple1) -> rule5))] @2: The dog is red.[(((triple3 ((triple1) -> rule5)) -> rule1))] @3: The dog is blue.[(((((triple3 ((triple1) -> rule5)) -> rule1) triple2) -> rule2))]