The dog does not chase the rabbit. The dog needs the rabbit. The rabbit is big. The rabbit is not round. The rabbit is young. The rabbit likes the dog. The rabbit needs the dog. If someone is big then they need the rabbit. If the rabbit likes the dog and the rabbit is nice then the dog chases the rabbit. If someone likes the rabbit then the rabbit does not chase the dog.
The dog is young.
@0: The dog does not chase the rabbit.[(triple1)] The dog needs the rabbit.[(triple2)] The rabbit is big.[(triple3)] The rabbit is not round.[(triple4)] The rabbit is young.[(triple5)] The rabbit likes the dog.[(triple6)] The rabbit needs the dog.[(triple7)] @1: The rabbit needs the rabbit.[(((triple3) -> rule1))]