The bear chases the cat. The bear visits the tiger. The cat chases the dog. The cat is not young. The dog does not chase the bear. The dog eats the bear. The tiger visits the cat. If something chases the cat then the cat is not kind. If something visits the tiger then the tiger chases the cat. If the cat eats the dog and the dog chases the tiger then the tiger eats the bear. If something chases the cat then it is kind. If something visits the tiger and it does not eat the tiger then the tiger visits the bear. If something is kind then it visits the tiger.
The tiger is kind.
@0: The bear chases the cat.[(triple1)] The bear visits the tiger.[(triple2 OR ((((triple1) -> rule4)) -> rule6))] The cat chases the dog.[(triple3)] The cat is not young.[(triple4)] The dog does not chase the bear.[(triple5)] The dog eats the bear.[(triple6)] The tiger visits the cat.[(triple7)] @1: The bear is kind.[(((triple1) -> rule4))] The cat is not kind.[(((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule1))] The tiger chases the cat.[(((triple2) -> rule2) OR ((((((triple1) -> rule4)) -> rule6)) -> rule2))] @2: The tiger is kind.[(((((triple2) -> rule2)) -> rule4) OR ((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule4))] @3: The tiger visits the tiger.[(((((((triple2) -> rule2)) -> rule4)) -> rule6) OR ((((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule4)) -> rule6))]