The dog is nice. The dog sees the mouse. The mouse is red. If someone is round and they see the dog then they visit the mouse. If someone is red and they see the dog then the dog is green. If someone sees the mouse then the mouse sees the dog. If someone is red and they see the dog then the dog sees the mouse. If someone sees the mouse then they like the dog. If someone is round then they see the dog. If someone is nice then they like the dog. If someone is nice then they are round.
The dog does not like the mouse.
@0: The dog is nice.[(triple1)] The dog sees the mouse.[(triple2)] The mouse is red.[(triple3)] @1: The dog is round.[(((triple1) -> rule8))] The dog likes the dog.[(((triple1) -> rule7) OR ((triple2) -> rule5))] The mouse sees the dog.[(((triple2) -> rule3))] @2: The dog is green.[(((triple3 ((triple2) -> rule3)) -> rule2))] The dog sees the dog.[(((((triple1) -> rule8)) -> rule6))] @3: The dog visits the mouse.[(((((triple1) -> rule8) ((((triple1) -> rule8)) -> rule6)) -> rule1))]