The bear eats the tiger. The dog eats the bear. The tiger chases the dog. If the tiger visits the dog then the dog chases the bear. If someone eats the tiger then the tiger visits the dog.
The tiger is not blue.
@0: The bear eats the tiger.[(triple1)] The dog eats the bear.[(triple2)] The tiger chases the dog.[(triple3)] @1: The tiger visits the dog.[(((triple1) -> rule2))] @2: The dog chases the bear.[(((((triple1) -> rule2)) -> rule1))]