The dog is blue. The tiger is young. The tiger likes the dog. If someone likes the dog then they eat the dog. If someone likes the dog and they are rough then they chase the tiger. If someone likes the dog and the dog eats the tiger then they chase the tiger. All nice people are young. If someone chases the dog and they like the tiger then they like the dog. If someone likes the tiger then the tiger is cold. Blue people are nice. If someone chases the tiger then the tiger chases the dog.
The dog does not chase the tiger.
@0: The dog is blue.[(triple1)] The tiger is young.[(triple2)] The tiger likes the dog.[(triple3)] @1: The dog is nice.[(((triple1) -> rule7))] The tiger eats the dog.[(((triple3) -> rule1))] @2: The dog is young.[(((((triple1) -> rule7)) -> rule4))]