The dog is young. The rabbit needs the dog. The tiger eats the dog. If something is big then it eats the tiger. If something chases the tiger and the tiger chases the rabbit then the tiger is big. If something is rough and it chases the tiger then it is nice. If something chases the rabbit then it eats the tiger. If the dog eats the rabbit and the rabbit chases the tiger then the tiger chases the rabbit. If something eats the dog then the dog is big. Rough things are young. If something is young then it eats the tiger.
The rabbit is not nice.
@0: The dog is young.[(triple1)] The rabbit needs the dog.[(triple2)] The tiger eats the dog.[(triple3)] @1: The dog eats the tiger.[(((triple1) -> rule8) OR ((((triple3) -> rule6)) -> rule1))] The dog is big.[(((triple3) -> rule6))]