The bald eagle is young. The lion is round. The lion likes the rabbit. The rabbit eats the lion. The rabbit likes the bald eagle. The rabbit likes the lion. The rabbit likes the tiger. The tiger eats the rabbit. The tiger is nice. The tiger likes the lion. If something is nice then it visits the rabbit. If something visits the rabbit then it is round.
The lion visits the tiger.
@0: The bald eagle is young.[(triple1)] The lion is round.[(triple2)] The lion likes the rabbit.[(triple3)] The rabbit eats the lion.[(triple4)] The rabbit likes the bald eagle.[(triple5)] The rabbit likes the lion.[(triple6)] The rabbit likes the tiger.[(triple7)] The tiger eats the rabbit.[(triple8)] The tiger is nice.[(triple9)] The tiger likes the lion.[(triple10)] @1: The tiger visits the rabbit.[(((triple9) -> rule1))] @2: The tiger is round.[(((((triple9) -> rule1)) -> rule2))]