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