The bald eagle chases the cat. The bald eagle chases the tiger. The bald eagle eats the cat. The bald eagle visits the cat. The bald eagle visits the tiger. The cat is nice. The cat is round. The tiger chases the bald eagle. The tiger chases the cat. The tiger eats the cat. The tiger is kind. The tiger visits the bald eagle. If something is round then it visits the bald eagle.
The tiger eats the cat.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle eats the cat.[(triple3)] The bald eagle visits the cat.[(triple4)] The bald eagle visits the tiger.[(triple5)] The cat is nice.[(triple6)] The cat is round.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger chases the cat.[(triple9)] The tiger eats the cat.[(triple10)] The tiger is kind.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The cat visits the bald eagle.[(((triple7) -> rule1))]