The dog is kind. The dog needs the tiger. The tiger chases the dog. If the dog chases the tiger and the tiger visits the dog then the tiger chases the dog. If someone visits the tiger then the tiger is green. If someone is kind then they visit the tiger. If someone is kind and rough then they visit the tiger. If someone is rough and they need the tiger then the tiger visits the dog. If someone needs the tiger and they chase the dog then they chase the tiger. If someone is green then they chase the dog. All green people are kind.
The tiger is kind.
@0: The dog is kind.[(triple1)] The dog needs the tiger.[(triple2)] The tiger chases the dog.[(triple3 OR ((((((triple1) -> rule3)) -> rule2)) -> rule7))] @1: The dog visits the tiger.[(((triple1) -> rule3))] @2: The tiger is green.[(((((triple1) -> rule3)) -> rule2))] @3: The tiger is kind.[(((((((triple1) -> rule3)) -> rule2)) -> rule8))] @4: The tiger visits the tiger.[(((((((((triple1) -> rule3)) -> rule2)) -> rule8)) -> rule3))]