The bald eagle eats the lion. The bald eagle likes the bear. The bald eagle likes the lion. The bald eagle likes the mouse. The bald eagle needs the mouse. The bear likes the mouse. The lion eats the bald eagle. The lion eats the bear. The lion is nice. The lion is red. The lion needs the bald eagle. The mouse needs the bear. If something is nice then it likes the bear. If the lion is nice then the lion is red. If something is red and it eats the lion then it is round. If the bear needs the lion and the bear is cold then the lion is young. If something likes the bear and the bear likes the lion then the lion needs the bear. If something eats the bald eagle then the bald eagle needs the bear.
The bald eagle does not like the lion.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle needs the mouse.[(triple5)] The bear likes the mouse.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion eats the bear.[(triple8)] The lion is nice.[(triple9)] The lion is red.[(triple10 OR ((triple9) -> rule2))] The lion needs the bald eagle.[(triple11)] The mouse needs the bear.[(triple12)] @1: The bald eagle needs the bear.[(((triple7) -> rule6))] The lion likes the bear.[(((triple9) -> rule1))]