The bear is rough. The bear is not young. The tiger is round. If something is rough then it eats the bear. If something sees the bear and the bear visits the tiger then it eats the bear. If something visits the tiger then the tiger eats the bear. If something sees the tiger then the tiger does not eat the bear. If something is round then it visits the bear. If something eats the bear then it sees the tiger.
The tiger does not eat the bear.
@0: The bear is not young.[(triple2)] The bear is rough.[(triple1)] The tiger is round.[(triple3)] @1: The bear eats the bear.[(((triple1) -> rule1))] The tiger visits the bear.[(((triple3) -> rule5))] @2: The bear sees the tiger.[(((((triple1) -> rule1)) -> rule6))] @3: The tiger does not eat the bear.[(((((((triple1) -> rule1)) -> rule6)) -> rule4))]