The bald eagle is big. The bald eagle is round. The bald eagle is young. The cat visits the dog. The dog is big. The dog is green. The dog is round. The dog likes the bald eagle. The dog needs the bald eagle. The dog needs the squirrel. The squirrel is big. The squirrel likes the dog. If something is young then it visits the bald eagle.
The dog does not visit the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle is young.[(triple3)] The cat visits the dog.[(triple4)] The dog is big.[(triple5)] The dog is green.[(triple6)] The dog is round.[(triple7)] The dog likes the bald eagle.[(triple8)] The dog needs the bald eagle.[(triple9)] The dog needs the squirrel.[(triple10)] The squirrel is big.[(triple11)] The squirrel likes the dog.[(triple12)] @1: The bald eagle visits the bald eagle.[(((triple3) -> rule1))]