The bear chases the cat. The bear chases the lion. The bear eats the cat. The bear is nice. The bear is rough. The bear is young. The bear needs the lion. The cat chases the bear. The cat needs the bear. The cat needs the lion. The lion eats the bear. The lion does not eat the cat. The lion is rough. The lion is young. The lion needs the cat. If someone chases the bear then they eat the cat.
The lion is red.
@0: The bear chases the cat.[(triple1)] The bear chases the lion.[(triple2)] The bear eats the cat.[(triple3)] The bear is nice.[(triple4)] The bear is rough.[(triple5)] The bear is young.[(triple6)] The bear needs the lion.[(triple7)] The cat chases the bear.[(triple8)] The cat needs the bear.[(triple9)] The cat needs the lion.[(triple10)] The lion does not eat the cat.[(triple12)] The lion eats the bear.[(triple11)] The lion is rough.[(triple13)] The lion is young.[(triple14)] The lion needs the cat.[(triple15)] @1: The cat eats the cat.[(((triple8) -> rule1))]