The cat chases the mouse. The mouse chases the cat. The mouse visits the cat. If the cat chases the mouse then the mouse chases the cat. If the cat visits the mouse then the mouse sees the cat. If someone is red then they chase the mouse. If someone is round then they chase the cat. If someone visits the cat then the cat visits the mouse. If someone chases the mouse and they visit the cat then the cat visits the mouse. If someone chases the cat and they see the cat then they are cold. If someone visits the mouse then the mouse chases the cat.
The mouse chases the mouse.
@0: The cat chases the mouse.[(triple1)] The mouse chases the cat.[(triple2 OR ((triple1) -> rule1) OR ((((triple3) -> rule5)) -> rule8))] The mouse visits the cat.[(triple3)] @1: The cat visits the mouse.[(((triple3) -> rule5))] @2: The mouse sees the cat.[(((((triple3) -> rule5)) -> rule2))] @3: The mouse is cold.[(((triple2 ((((triple3) -> rule5)) -> rule2)) -> rule7) OR ((((triple1) -> rule1) ((((triple3) -> rule5)) -> rule2)) -> rule7) OR ((((((triple3) -> rule5)) -> rule8) ((((triple3) -> rule5)) -> rule2)) -> rule7))]