The cow visits the dog. The dog chases the tiger. The lion visits the cow. The tiger visits the dog. If someone is big then they are young. If someone is kind then they chase the cow. If someone chases the dog and the dog sees the cow then the dog visits the cow. If the dog sees the lion then the dog visits the cow. If someone visits the lion and they chase the lion then the lion sees the tiger. If someone is young then they see the cow. If the tiger visits the dog then the dog is big. If someone sees the tiger then they are young.
The dog is not big.
@0: The cow visits the dog.[(triple1)] The dog chases the tiger.[(triple2)] The lion visits the cow.[(triple3)] The tiger visits the dog.[(triple4)] @1: The dog is big.[(((triple4) -> rule7))] @2: The dog is young.[(((((triple4) -> rule7)) -> rule1))] @3: The dog sees the cow.[(((((((triple4) -> rule7)) -> rule1)) -> rule6))]