The bear is red. The bear is rough. The bear visits the tiger. The rabbit chases the bear. The rabbit chases the tiger. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit likes the bear. The rabbit likes the tiger. The rabbit visits the tiger. The tiger chases the bear. The tiger chases the rabbit. The tiger is big. The tiger is green. The tiger visits the bear. If someone chases the tiger and they visit the rabbit then the tiger likes the bear. If someone likes the bear then the bear is big.
The rabbit chases the bear.
@0: The bear is red.[(triple1)] The bear is rough.[(triple2)] The bear visits the tiger.[(triple3)] The rabbit chases the bear.[(triple4)] The rabbit chases the tiger.[(triple5)] The rabbit is red.[(triple6)] The rabbit is rough.[(triple7)] The rabbit is round.[(triple8)] The rabbit likes the bear.[(triple9)] The rabbit likes the tiger.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger chases the bear.[(triple12)] The tiger chases the rabbit.[(triple13)] The tiger is big.[(triple14)] The tiger is green.[(triple15)] The tiger visits the bear.[(triple16)] @1: The bear is big.[(((triple9) -> rule2))]