The bear eats the tiger. The bear visits the tiger. The tiger likes the bear. If something eats the tiger then the tiger likes the bear. If something visits the tiger and it does not like the tiger then it does not eat the bear. If something visits the tiger then it eats the bear. If something eats the bear then the bear is nice. If something is nice then it is rough. If the tiger likes the bear and the tiger does not eat the bear then the tiger is not nice.
The tiger is red.
@0: The bear eats the tiger.[(triple1)] The bear visits the tiger.[(triple2)] The tiger likes the bear.[(triple3 OR ((triple1) -> rule1))] @1: The bear eats the bear.[(((triple2) -> rule3))] @2: The bear is nice.[(((((triple2) -> rule3)) -> rule4))] @3: The bear is rough.[(((((((triple2) -> rule3)) -> rule4)) -> rule5))]