The bear chases the tiger. The bear is kind. The bear likes the tiger. The bear needs the tiger. The tiger chases the bear. The tiger likes the bear. The tiger needs the bear. If something chases the tiger then it is round.
The bear does not chase the tiger.
@0: The bear chases the tiger.[(triple1)] The bear is kind.[(triple2)] The bear likes the tiger.[(triple3)] The bear needs the tiger.[(triple4)] The tiger chases the bear.[(triple5)] The tiger likes the bear.[(triple6)] The tiger needs the bear.[(triple7)] @1: The bear is round.[(((triple1) -> rule1))]