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