The dog eats the mouse. The dog is green. The dog is nice. The dog likes the mouse. The dog visits the mouse. The mouse is big. The mouse visits the dog. If the dog is nice then the dog visits the mouse. If something visits the mouse then it likes the dog. If something is nice and it likes the mouse then it likes the dog. If something eats the dog and the dog visits the mouse then it visits the mouse. If something likes the mouse then the mouse eats the dog. If something eats the dog and it is green then it is nice.
The dog is big.
@0: The dog eats the mouse.[(triple1)] The dog is green.[(triple2)] The dog is nice.[(triple3)] The dog likes the mouse.[(triple4)] The dog visits the mouse.[(triple5 OR ((triple3) -> rule1))] The mouse is big.[(triple6)] The mouse visits the dog.[(triple7)] @1: The dog likes the dog.[(((triple5) -> rule2) OR ((triple3 triple4) -> rule3) OR ((((triple3) -> rule1)) -> rule2))] The mouse eats the dog.[(((triple4) -> rule5))] @2: The mouse visits the mouse.[(((((triple4) -> rule5) triple5) -> rule4) OR ((((triple4) -> rule5) ((triple3) -> rule1)) -> rule4))] @3: The mouse likes the dog.[(((((((triple4) -> rule5) triple5) -> rule4)) -> rule2) OR ((((((triple4) -> rule5) ((triple3) -> rule1)) -> rule4)) -> rule2))]