The dog does not chase the rabbit. The dog is cold. The dog is nice. The dog visits the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is cold. The rabbit is kind. The rabbit is not nice. The rabbit is not round. The rabbit is young. The rabbit does not visit the dog. If someone is young then they do not eat the rabbit. If someone is nice and round then they eat the rabbit. If someone is young and round then they do not eat the dog. If someone visits the rabbit and they visit the dog then the dog is not round. If the dog visits the rabbit and the dog chases the rabbit then the rabbit is nice. If someone is cold and they chase the rabbit then they chase the dog.
The dog visits the dog.
@0: The dog does not chase the rabbit.[(triple1)] The dog is cold.[(triple2)] The dog is nice.[(triple3)] The dog visits the rabbit.[(triple4)] The rabbit chases the dog.[(triple5)] The rabbit does not visit the dog.[(triple12)] The rabbit eats the dog.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is not nice.[(triple9)] The rabbit is not round.[(triple10)] The rabbit is young.[(triple11)] @1: The rabbit does not eat the rabbit.[(((triple11) -> rule1))]