The dog is big. The dog visits the lion. The dog visits the tiger. The lion needs the tiger. The tiger eats the dog. The tiger eats the lion. The tiger is blue. The tiger is round. The tiger needs the dog. The tiger visits the lion. If someone is nice then they visit the dog. If someone needs the dog then they are nice.
The tiger is nice.
@0: The dog is big.[(triple1)] The dog visits the lion.[(triple2)] The dog visits the tiger.[(triple3)] The lion needs the tiger.[(triple4)] The tiger eats the dog.[(triple5)] The tiger eats the lion.[(triple6)] The tiger is blue.[(triple7)] The tiger is round.[(triple8)] The tiger needs the dog.[(triple9)] The tiger visits the lion.[(triple10)] @1: The tiger is nice.[(((triple9) -> rule2))] @2: The tiger visits the dog.[(((((triple9) -> rule2)) -> rule1))]