The bear chases the tiger. The tiger is round. If the bear visits the tiger and the tiger chases the bear then the tiger is young. If someone is round then they eat the bear. If someone chases the tiger then they chase the bear. If someone is rough and they visit the bear then the bear chases the tiger. If someone visits the bear and they chase the bear then they eat the tiger. If someone chases the bear then they visit the tiger. If the tiger chases the bear and the tiger is young then the bear eats the tiger. If someone visits the tiger and they chase the bear then they eat the tiger.
The bear chases the bear.
@0: The bear chases the tiger.[(triple1)] The tiger is round.[(triple2)] @1: The bear chases the bear.[(((triple1) -> rule3))] The tiger eats the bear.[(((triple2) -> rule2))] @2: The bear visits the tiger.[(((((triple1) -> rule3)) -> rule6))] @3: The bear eats the tiger.[(((((((triple1) -> rule3)) -> rule6) ((triple1) -> rule3)) -> rule8))]