The cat visits the dog. The dog visits the cat. The lion does not visit the dog. The mouse is green. If something visits the lion then the lion chases the mouse. If something visits the cat then the cat visits the mouse. If something visits the dog then it is round. If the lion visits the cat then the lion visits the mouse. If something is round then it does not chase the cat. If something is big then it chases the mouse. If something chases the lion and it sees the dog then the dog is big. If the dog chases the mouse and the dog does not chase the cat then the mouse chases the lion.
The lion does not chase the dog.
@0: The cat visits the dog.[(triple1)] The dog visits the cat.[(triple2)] The lion does not visit the dog.[(triple3)] The mouse is green.[(triple4)] @1: The cat is round.[(((triple1) -> rule3))] The cat visits the mouse.[(((triple2) -> rule2))] @2: The cat does not chase the cat.[(((((triple1) -> rule3)) -> rule5))]