The bald eagle is cold. The bald eagle does not like the lion. The bear is not big. The bear visits the lion. The lion is red. The lion likes the bald eagle. The lion does not like the bear. The lion visits the bald eagle. The rabbit is big. The rabbit likes the bald eagle. If the bald eagle is kind and the bald eagle does not chase the rabbit then the bald eagle visits the bear. If someone likes the bald eagle and they visit the bald eagle then the bald eagle does not chase the bear.
The bald eagle likes the bald eagle.
@0: The bald eagle does not like the lion.[(triple2)] The bald eagle is cold.[(triple1)] The bear is not big.[(triple3)] The bear visits the lion.[(triple4)] The lion does not like the bear.[(triple7)] The lion is red.[(triple5)] The lion likes the bald eagle.[(triple6)] The lion visits the bald eagle.[(triple8)] The rabbit is big.[(triple9)] The rabbit likes the bald eagle.[(triple10)] @1: The bald eagle does not chase the bear.[(((triple6 triple8) -> rule2))]