The cat is blue. The mouse needs the cat. The mouse sees the cat. If something sees the cat then the cat sees the mouse. If something sees the cat and the cat sees the mouse then the cat visits the mouse. If something visits the mouse then the mouse is round. If something needs the mouse then the mouse needs the cat. If something visits the mouse then it sees the mouse. If the mouse is blue and the mouse is green then the mouse is round. If the cat needs the mouse and the mouse is green then the mouse is nice. If something sees the cat then the cat sees the mouse.
The cat does not visit the cat.
@0: The cat is blue.[(triple1)] The mouse needs the cat.[(triple2)] The mouse sees the cat.[(triple3)] @1: The cat sees the mouse.[(((triple3) -> rule1) OR ((triple3) -> rule8))] @2: The cat visits the mouse.[(((triple3 ((triple3) -> rule1)) -> rule2) OR ((triple3 ((triple3) -> rule8)) -> rule2))] @3: The mouse is round.[(((((triple3 ((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((triple3 ((triple3) -> rule8)) -> rule2)) -> rule3))]