The dog chases the rabbit. The dog eats the rabbit. The dog is big. The dog is cold. The dog is not green. The dog is kind. The dog is young. The dog needs the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is young. The rabbit needs the dog. If someone is green then they need the rabbit. If the dog needs the rabbit and the dog does not eat the rabbit then the dog chases the rabbit.
The rabbit chases the rabbit.
@0: The dog chases the rabbit.[(triple1)] The dog eats the rabbit.[(triple2)] The dog is big.[(triple3)] The dog is cold.[(triple4)] The dog is kind.[(triple6)] The dog is not green.[(triple5)] The dog is young.[(triple7)] The dog needs the rabbit.[(triple8)] The rabbit chases the dog.[(triple9)] The rabbit eats the dog.[(triple10)] The rabbit is big.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is green.[(triple13)] The rabbit is kind.[(triple14)] The rabbit is young.[(triple15)] The rabbit needs the dog.[(triple16)] @1: The rabbit needs the rabbit.[(((triple13) -> rule1))]