The dog eats the lion. The dog sees the lion. The lion sees the dog. If someone sees the lion and the lion eats the dog then the lion sees the dog. If someone visits the lion then they are nice. If the dog visits the lion then the lion eats the dog. If someone eats the lion and the lion visits the dog then the dog visits the lion. If someone sees the lion then the lion visits the dog. If someone sees the dog then they eat the dog.
The dog is rough.
@0: The dog eats the lion.[(triple1)] The dog sees the lion.[(triple2)] The lion sees the dog.[(triple3 OR ((triple2 ((((triple1 ((triple2) -> rule5)) -> rule4)) -> rule3)) -> rule1))] @1: The lion eats the dog.[(((triple3) -> rule6) OR ((((triple1 ((triple2) -> rule5)) -> rule4)) -> rule3))] The lion visits the dog.[(((triple2) -> rule5))] @2: The dog visits the lion.[(((triple1 ((triple2) -> rule5)) -> rule4))] @3: The dog is nice.[(((((triple1 ((triple2) -> rule5)) -> rule4)) -> rule2))]