The bald eagle eats the lion. The bald eagle is big. The cow is nice. The cow likes the bald eagle. The cow needs the lion. The lion eats the bald eagle. The lion eats the rabbit. The lion is not nice. The lion is rough. The lion likes the cow. The lion needs the rabbit. The rabbit eats the lion. The rabbit is kind. The rabbit is nice. The rabbit does not like the cow. If something is rough and it eats the cow then it does not need the rabbit. If something is big and not red then it eats the lion. If something is nice then it eats the cow. If something likes the rabbit then it does not like the bald eagle. Red things are not big. If something is kind and it eats the rabbit then the rabbit does not eat the bald eagle. If something eats the cow then the cow is rough. If something likes the cow then it is not kind.
The lion eats the cow.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is big.[(triple2)] The cow is nice.[(triple3)] The cow likes the bald eagle.[(triple4)] The cow needs the lion.[(triple5)] The lion eats the bald eagle.[(triple6)] The lion eats the rabbit.[(triple7)] The lion is not nice.[(triple8)] The lion is rough.[(triple9)] The lion likes the cow.[(triple10)] The lion needs the rabbit.[(triple11)] The rabbit does not like the cow.[(triple15)] The rabbit eats the lion.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is nice.[(triple14)] @1: The cow eats the cow.[(((triple3) -> rule3))] The lion is not kind.[(((triple10) -> rule8))] The rabbit eats the cow.[(((triple14) -> rule3))] @2: The cow is rough.[(((((triple14) -> rule3)) -> rule7) OR ((((triple3) -> rule3)) -> rule7))] @3: The cow does not need the rabbit.[(((((((triple14) -> rule3)) -> rule7) ((triple3) -> rule3)) -> rule1) OR ((((((triple3) -> rule3)) -> rule7) ((triple3) -> rule3)) -> rule1))]