The bear chases the tiger. The bear eats the tiger. The bear is kind. The bear is red. The bear is rough. The bear is round. The bear is young. The bear likes the tiger. The tiger chases the bear. The tiger eats the bear. The tiger is kind. The tiger is red. The tiger is rough. The tiger is round. The tiger is young. The tiger likes the bear. If something eats the tiger then it likes the bear.
The bear does not chase the bear.
@0: The bear chases the tiger.[(triple1)] The bear eats the tiger.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear is young.[(triple7)] The bear likes the tiger.[(triple8)] The tiger chases the bear.[(triple9)] The tiger eats the bear.[(triple10)] The tiger is kind.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger is round.[(triple14)] The tiger is young.[(triple15)] The tiger likes the bear.[(triple16)] @1: The bear likes the bear.[(((triple2) -> rule1))]