The dog chases the rabbit. The dog eats the rabbit. The dog is kind. The dog is nice. The dog is red. The dog is young. The dog needs the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is kind. If someone needs the rabbit then the rabbit is nice.
The dog does not chase the rabbit.
@0: The dog chases the rabbit.[(triple1)] The dog eats the rabbit.[(triple2)] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is red.[(triple5)] The dog is young.[(triple6)] The dog needs the rabbit.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit eats the dog.[(triple9)] The rabbit is kind.[(triple10)] @1: The rabbit is nice.[(((triple7) -> rule1))]