The cat visits the lion. The dog is cold. The dog is green. The dog is round. The lion chases the mouse. The mouse chases the lion. The mouse is round. If the dog visits the cat and the cat needs the mouse then the cat visits the dog. If something is cold then it visits the cat. If something is round and it visits the cat then the cat chases the mouse. If something visits the dog then it visits the lion. If something visits the cat and it is cold then the cat visits the dog. If something needs the mouse and it needs the dog then the mouse visits the cat.
The dog visits the cat.
@0: The cat visits the lion.[(triple1 OR ((((((triple2) -> rule2) triple2) -> rule5)) -> rule4))] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog is round.[(triple4)] The lion chases the mouse.[(triple5)] The mouse chases the lion.[(triple6)] The mouse is round.[(triple7)] @1: The dog visits the cat.[(((triple2) -> rule2))] @2: The cat chases the mouse.[(((triple4 ((triple2) -> rule2)) -> rule3))] The cat visits the dog.[(((((triple2) -> rule2) triple2) -> rule5))]