The bald eagle is not cold. The bald eagle is not kind. The bald eagle does not like the lion. The cow is not kind. The lion eats the bald eagle. The lion is cold. The lion is nice. The lion likes the bald eagle. The lion does not see the bald eagle. The lion sees the cow. If something eats the bald eagle then the bald eagle is young. If the cow sees the lion and the cow is rough then the cow is cold.
The bald eagle is young.
@0: The bald eagle does not like the lion.[(triple3)] The bald eagle is not cold.[(triple1)] The bald eagle is not kind.[(triple2)] The cow is not kind.[(triple4)] The lion does not see the bald eagle.[(triple9)] The lion eats the bald eagle.[(triple5)] The lion is cold.[(triple6)] The lion is nice.[(triple7)] The lion likes the bald eagle.[(triple8)] The lion sees the cow.[(triple10)] @1: The bald eagle is young.[(((triple5) -> rule1))]