The bear visits the tiger. The tiger eats the bear. The tiger is rough. If the bear needs the tiger and the bear eats the tiger then the bear is nice. If the bear needs the tiger then the bear eats the tiger. If someone visits the tiger and the tiger needs the bear then the tiger eats the bear. If the tiger eats the bear then the bear needs the tiger. If someone is rough then they eat the tiger. If the tiger needs the bear and the tiger is nice then the tiger visits the bear.
The bear is not nice.
@0: The bear visits the tiger.[(triple1)] The tiger eats the bear.[(triple2)] The tiger is rough.[(triple3)] @1: The bear needs the tiger.[(((triple2) -> rule4))] The tiger eats the tiger.[(((triple3) -> rule5))] @2: The bear eats the tiger.[(((((triple2) -> rule4)) -> rule2))] @3: The bear is nice.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule2)) -> rule1))]