The bald eagle chases the cat. The bald eagle chases the lion. The bald eagle likes the cat. The bald eagle likes the lion. The bald eagle visits the cat. The bald eagle visits the lion. The cat chases the bald eagle. The cat is rough. The cat is round. The cat likes the lion. The lion chases the cat. The lion is green. The lion is round. The lion likes the bald eagle. The lion visits the bald eagle. If something is round then it visits the bald eagle.
The cat visits the cat.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle visits the cat.[(triple5)] The bald eagle visits the lion.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat is rough.[(triple8)] The cat is round.[(triple9)] The cat likes the lion.[(triple10)] The lion chases the cat.[(triple11)] The lion is green.[(triple12)] The lion is round.[(triple13)] The lion likes the bald eagle.[(triple14)] The lion visits the bald eagle.[(triple15 OR ((triple13) -> rule1))] @1: The cat visits the bald eagle.[(((triple9) -> rule1))]