The bald eagle likes the lion. The bald eagle needs the cow. The cow likes the lion. The lion eats the cow. The lion likes the cow. The lion likes the tiger. The lion needs the bald eagle. The lion needs the cow. The lion needs the tiger. The tiger eats the cow. The tiger likes the cow. The tiger needs the cow. If something likes the tiger and it needs the lion then the lion is blue. If something eats the tiger then it needs the lion. All rough, cold things are kind. If something likes the cow then it likes the bald eagle. If something likes the bald eagle and it likes the lion then it is rough. If something is rough and it eats the lion then it eats the bald eagle. If something is blue then it needs the cow. If something likes the cow and it likes the bald eagle then the cow eats the lion.
The lion does not eat the cow.
@0: The bald eagle likes the lion.[(triple1)] The bald eagle needs the cow.[(triple2)] The cow likes the lion.[(triple3)] The lion eats the cow.[(triple4)] The lion likes the cow.[(triple5)] The lion likes the tiger.[(triple6)] The lion needs the bald eagle.[(triple7)] The lion needs the cow.[(triple8)] The lion needs the tiger.[(triple9)] The tiger eats the cow.[(triple10)] The tiger likes the cow.[(triple11)] The tiger needs the cow.[(triple12)] @1: The lion likes the bald eagle.[(((triple5) -> rule4))] The tiger likes the bald eagle.[(((triple11) -> rule4))] @2: The cow eats the lion.[(((triple11 ((triple11) -> rule4)) -> rule8) OR ((triple5 ((triple5) -> rule4)) -> rule8))]