The dog is young. The rabbit is young. The tiger is not nice. If someone is young then they chase the dog. If someone eats the rabbit and they are green then the rabbit is round. If someone eats the tiger then the tiger is round. If someone eats the rabbit and they eat the tiger then the rabbit chases the tiger. If someone is green and they like the dog then they do not like the tiger. If someone chases the tiger and they are round then they like the tiger. If the rabbit does not eat the dog then the rabbit does not like the tiger. If someone chases the dog then the dog eats the tiger.
The rabbit does not chase the dog.
@0: The dog is young.[(triple1)] The rabbit is young.[(triple2)] The tiger is not nice.[(triple3)] @1: The dog chases the dog.[(((triple1) -> rule1))] The rabbit chases the dog.[(((triple2) -> rule1))] @2: The dog eats the tiger.[(((((triple1) -> rule1)) -> rule8) OR ((((triple2) -> rule1)) -> rule8))] @3: The tiger is round.[(((((((triple1) -> rule1)) -> rule8)) -> rule3) OR ((((((triple2) -> rule1)) -> rule8)) -> rule3))]