The dog visits the tiger. The tiger visits the dog. If something chases the tiger then it visits the dog. If the tiger sees the dog then the dog is not young. If the dog visits the tiger then the dog chases the tiger. If something chases the tiger and it visits the dog then the tiger sees the dog. If something chases the tiger and it does not visit the tiger then the tiger visits the dog. If the tiger visits the dog and the tiger does not see the dog then the dog is round. If the dog chases the tiger then the dog is not round. If something chases the tiger and it is not round then it is not kind.
The tiger is kind.
@0: The dog visits the tiger.[(triple1)] The tiger visits the dog.[(triple2)] @1: The dog chases the tiger.[(((triple1) -> rule3))] @2: The dog is not round.[(((((triple1) -> rule3)) -> rule7))] The dog visits the dog.[(((((triple1) -> rule3)) -> rule1))] @3: The dog is not kind.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule7)) -> rule8))] The tiger sees the dog.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule1)) -> rule4))] @4: The dog is not young.[(((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule1)) -> rule4)) -> rule2))]