The bald eagle is rough. The bald eagle likes the dog. The bald eagle needs the dog. The bald eagle needs the squirrel. The bald eagle visits the squirrel. The dog is nice. The dog likes the bald eagle. The dog likes the lion. The dog needs the bald eagle. The dog visits the bald eagle. The dog visits the squirrel. The lion is nice. The lion likes the dog. The lion needs the bald eagle. The lion needs the dog. The squirrel visits the dog. If someone needs the bald eagle then the bald eagle is young.
The dog does not need the bald eagle.
@0: The bald eagle is rough.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The bald eagle visits the squirrel.[(triple5)] The dog is nice.[(triple6)] The dog likes the bald eagle.[(triple7)] The dog likes the lion.[(triple8)] The dog needs the bald eagle.[(triple9)] The dog visits the bald eagle.[(triple10)] The dog visits the squirrel.[(triple11)] The lion is nice.[(triple12)] The lion likes the dog.[(triple13)] The lion needs the bald eagle.[(triple14)] The lion needs the dog.[(triple15)] The squirrel visits the dog.[(triple16)] @1: The bald eagle is young.[(((triple14) -> rule1) OR ((triple9) -> rule1))]