The bald eagle needs the lion. The dog is blue. The dog is young. The lion chases the bald eagle. The lion is round. The lion is young. The lion needs the bald eagle. The lion visits the bald eagle. The lion visits the dog. The mouse needs the dog. If someone needs the bald eagle then they do not visit the mouse.
The dog is not kind.
@0: The bald eagle needs the lion.[(triple1)] The dog is blue.[(triple2)] The dog is young.[(triple3)] The lion chases the bald eagle.[(triple4)] The lion is round.[(triple5)] The lion is young.[(triple6)] The lion needs the bald eagle.[(triple7)] The lion visits the bald eagle.[(triple8)] The lion visits the dog.[(triple9)] The mouse needs the dog.[(triple10)] @1: The lion does not visit the mouse.[(((triple7) -> rule1))]