The bear chases the dog. The bear is red. The bear is rough. The bear likes the dog. The bear needs the tiger. The dog chases the tiger. The dog is big. The dog is red. The dog is rough. The dog likes the bear. The tiger chases the bear. The tiger chases the dog. The tiger is big. The tiger is green. The tiger is rough. The tiger likes the bear. All green things are kind.
The dog is rough.
@0: The bear chases the dog.[(triple1)] The bear is red.[(triple2)] The bear is rough.[(triple3)] The bear likes the dog.[(triple4)] The bear needs the tiger.[(triple5)] The dog chases the tiger.[(triple6)] The dog is big.[(triple7)] The dog is red.[(triple8)] The dog is rough.[(triple9)] The dog likes the bear.[(triple10)] The tiger chases the bear.[(triple11)] The tiger chases the dog.[(triple12)] The tiger is big.[(triple13)] The tiger is green.[(triple14)] The tiger is rough.[(triple15)] The tiger likes the bear.[(triple16)] @1: The tiger is kind.[(((triple14) -> rule1))]