The bald eagle visits the dog. The cat likes the bald eagle. The dog is big. The lion is young. If something likes the bald eagle then it visits the lion. If something sees the bald eagle and the bald eagle sees the dog then the bald eagle sees the cat.
The lion is not young.
@0: The bald eagle visits the dog.[(triple1)] The cat likes the bald eagle.[(triple2)] The dog is big.[(triple3)] The lion is young.[(triple4)] @1: The cat visits the lion.[(((triple2) -> rule1))]