The bear chases the lion. The bear likes the lion. The bear needs the lion. The cow is red. The lion is rough. The rabbit likes the cow. The rabbit needs the lion. If someone chases the lion then the lion chases the rabbit. If the bear chases the lion and the lion needs the rabbit then the lion likes the rabbit. If the cow needs the lion and the cow likes the rabbit then the rabbit is red.
The rabbit is not red.
@0: The bear chases the lion.[(triple1)] The bear likes the lion.[(triple2)] The bear needs the lion.[(triple3)] The cow is red.[(triple4)] The lion is rough.[(triple5)] The rabbit likes the cow.[(triple6)] The rabbit needs the lion.[(triple7)] @1: The lion chases the rabbit.[(((triple1) -> rule1))]