The bear chases the rabbit. The dog is rough. The rabbit is red. The tiger does not chase the dog. If the rabbit likes the dog then the rabbit needs the tiger. If someone chases the rabbit and they need the dog then they need the tiger. If the rabbit is green then the rabbit chases the dog. If the bear does not need the rabbit then the rabbit needs the bear. If someone chases the dog and they like the dog then the dog is not big. If someone chases the rabbit then they are rough.
The rabbit is not red.
@0: The bear chases the rabbit.[(triple1)] The dog is rough.[(triple2)] The rabbit is red.[(triple3)] The tiger does not chase the dog.[(triple4)] @1: The bear is rough.[(((triple1) -> rule6))]