The bald eagle likes the cat. The cat chases the lion. The cat is blue. The cat likes the bald eagle. The cat needs the lion. The lion chases the cat. The lion is rough. If something chases the lion then the lion chases the bald eagle.
The lion likes the bald eagle.
@0: The bald eagle likes the cat.[(triple1)] The cat chases the lion.[(triple2)] The cat is blue.[(triple3)] The cat likes the bald eagle.[(triple4)] The cat needs the lion.[(triple5)] The lion chases the cat.[(triple6)] The lion is rough.[(triple7)] @1: The lion chases the bald eagle.[(((triple2) -> rule1))]