The bald eagle is cold. The bald eagle does not need the cow. The cow does not eat the bald eagle. The cow is blue. The cow is cold. The cow likes the bald eagle. The cow likes the lion. The cow needs the bald eagle. The cow needs the lion. The lion eats the bald eagle. The lion eats the cow. The lion is nice. The lion does not like the bald eagle. The lion likes the cow. The lion needs the cow. If someone eats the lion then they like the cow. If someone is blue then they need the lion. If the bald eagle likes the lion and the bald eagle does not eat the cow then the cow eats the lion. If someone needs the lion and the lion likes the bald eagle then the lion eats the bald eagle. If the cow likes the bald eagle and the bald eagle needs the cow then the cow is kind. If the lion eats the cow and the lion does not like the bald eagle then the lion is cold.
The lion does not eat the bald eagle.
@0: The bald eagle does not need the cow.[(triple2)] The bald eagle is cold.[(triple1)] The cow does not eat the bald eagle.[(triple3)] The cow is blue.[(triple4)] The cow is cold.[(triple5)] The cow likes the bald eagle.[(triple6)] The cow likes the lion.[(triple7)] The cow needs the bald eagle.[(triple8)] The cow needs the lion.[(triple9 OR ((triple4) -> rule2))] The lion does not like the bald eagle.[(triple13)] The lion eats the bald eagle.[(triple10)] The lion eats the cow.[(triple11)] The lion is nice.[(triple12)] The lion likes the cow.[(triple14)] The lion needs the cow.[(triple15)] @1: The lion is cold.[(((triple11 triple13) -> rule6))]