The bald eagle chases the dog. The bald eagle is cold. The bald eagle is rough. The bald eagle needs the dog. The bald eagle visits the squirrel. The dog chases the squirrel. The dog is red. The rabbit chases the dog. The rabbit is cold. The rabbit is red. The rabbit is rough. The rabbit needs the bald eagle. The rabbit visits the dog. The rabbit visits the squirrel. The squirrel is green. The squirrel is red. If someone needs the bald eagle then the bald eagle is red.
The dog does not chase the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle visits the squirrel.[(triple5)] The dog chases the squirrel.[(triple6)] The dog is red.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is red.[(triple10)] The rabbit is rough.[(triple11)] The rabbit needs the bald eagle.[(triple12)] The rabbit visits the dog.[(triple13)] The rabbit visits the squirrel.[(triple14)] The squirrel is green.[(triple15)] The squirrel is red.[(triple16)] @1: The bald eagle is red.[(((triple12) -> rule1))]