The bear sees the tiger. The tiger is big. The tiger is green. The tiger is round. The tiger likes the bear. The tiger needs the bear. The tiger sees the bear. If the tiger sees the bear and the tiger is round then the bear likes the tiger.
The tiger is not rough.
@0: The bear sees the tiger.[(triple1)] The tiger is big.[(triple2)] The tiger is green.[(triple3)] The tiger is round.[(triple4)] The tiger likes the bear.[(triple5)] The tiger needs the bear.[(triple6)] The tiger sees the bear.[(triple7)] @1: The bear likes the tiger.[(((triple7 triple4) -> rule1))]