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