The bear eats the tiger. The bear is blue. The bear is round. The bear needs the tiger. The bear visits the rabbit. The rabbit visits the bear. The tiger eats the rabbit. The tiger is round. The tiger needs the bear. The tiger needs the rabbit. If something visits the bear then the bear is nice. If something is blue and nice then it visits the tiger.
The bear visits the tiger.
@0: The bear eats the tiger.[(triple1)] The bear is blue.[(triple2)] The bear is round.[(triple3)] The bear needs the tiger.[(triple4)] The bear visits the rabbit.[(triple5)] The rabbit visits the bear.[(triple6)] The tiger eats the rabbit.[(triple7)] The tiger is round.[(triple8)] The tiger needs the bear.[(triple9)] The tiger needs the rabbit.[(triple10)] @1: The bear is nice.[(((triple6) -> rule1))] @2: The bear visits the tiger.[(((triple2 ((triple6) -> rule1)) -> rule2))]