The dog likes the tiger. The lion likes the tiger. The tiger is young. If something is nice and young then it likes the dog. If something chases the tiger and it is green then the tiger chases the lion. If something likes the dog then the dog likes the lion. If something likes the tiger then it chases the dog. Nice things are young. If something chases the tiger then it is green. If something is young then it chases the tiger. If something is young and big then it chases the tiger.
The dog does not chase the dog.
@0: The dog likes the tiger.[(triple1)] The lion likes the tiger.[(triple2)] The tiger is young.[(triple3)] @1: The dog chases the dog.[(((triple1) -> rule4))] The lion chases the dog.[(((triple2) -> rule4))] The tiger chases the tiger.[(((triple3) -> rule7))] @2: The tiger is green.[(((((triple3) -> rule7)) -> rule6))] @3: The tiger chases the lion.[(((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule6)) -> rule2))]