The bear chases the tiger. The bear is big. The bear is red. The bear likes the lion. The lion chases the tiger. The lion is big. The lion is green. The lion likes the bear. The lion needs the bear. The tiger chases the bear. The tiger chases the lion. The tiger is red. If something needs the bear and the bear chases the lion then the bear is not green.
The tiger does not chase the bear.
@0: The bear chases the tiger.[(triple1)] The bear is big.[(triple2)] The bear is red.[(triple3)] The bear likes the lion.[(triple4)] The lion chases the tiger.[(triple5)] The lion is big.[(triple6)] The lion is green.[(triple7)] The lion likes the bear.[(triple8)] The lion needs the bear.[(triple9)] The tiger chases the bear.[(triple10)] The tiger chases the lion.[(triple11)] The tiger is red.[(triple12)]