The bald eagle eats the lion. The bald eagle eats the rabbit. The bald eagle is kind. The bald eagle likes the rabbit. The cow is cold. The cow is kind. The lion is big. The lion sees the bald eagle. The rabbit likes the bald eagle. The rabbit sees the lion. If the rabbit likes the bald eagle then the rabbit is kind. If something sees the lion then it eats the bald eagle. If something is young then it eats the bald eagle.
The rabbit eats the lion.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The cow is cold.[(triple5)] The cow is kind.[(triple6)] The lion is big.[(triple7)] The lion sees the bald eagle.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The rabbit eats the bald eagle.[(((triple10) -> rule2))] The rabbit is kind.[(((triple9) -> rule1))]