The dog chases the rabbit. The dog does not chase the squirrel. The dog is cold. The dog visits the rabbit. The rabbit chases the dog. The rabbit is not cold. The rabbit is round. The rabbit needs the dog. The rabbit visits the squirrel. The squirrel is cold. The squirrel needs the dog. The squirrel visits the dog. If someone visits the squirrel then the squirrel chases the rabbit. If someone needs the rabbit and they are not big then they are round. If someone is big and they chase the rabbit then the rabbit needs the squirrel.
The squirrel needs the squirrel.
@0: The dog chases the rabbit.[(triple1)] The dog does not chase the squirrel.[(triple2)] The dog is cold.[(triple3)] The dog visits the rabbit.[(triple4)] The rabbit chases the dog.[(triple5)] The rabbit is not cold.[(triple6)] The rabbit is round.[(triple7)] The rabbit needs the dog.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel is cold.[(triple10)] The squirrel needs the dog.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The squirrel chases the rabbit.[(((triple9) -> rule1))]