The dog chases the lion. The dog eats the lion. The dog is kind. The dog is not round. The dog visits the lion. The lion does not chase the dog. The lion is not nice. If the dog chases the lion and the dog is kind then the dog visits the lion. If someone is green and they chase the dog then they visit the lion. If someone is kind then they eat the dog. If someone is kind then they visit the dog. If someone chases the dog and the dog is not green then they eat the lion. If someone eats the dog then they chase the dog. If the lion visits the dog then the lion is round. If someone chases the dog and they chase the lion then the dog is not nice.
The lion chases the dog.
@0: The dog chases the lion.[(triple1)] The dog eats the lion.[(triple2)] The dog is kind.[(triple3)] The dog is not round.[(triple4)] The dog visits the lion.[(triple5 OR ((triple1 triple3) -> rule1))] The lion does not chase the dog.[(triple6)] The lion is not nice.[(triple7)] @1: The dog eats the dog.[(((triple3) -> rule3))] The dog visits the dog.[(((triple3) -> rule4))] @2: The dog chases the dog.[(((((triple3) -> rule3)) -> rule6))] @3: The dog is not nice.[(((((((triple3) -> rule3)) -> rule6) triple1) -> rule8))]