The bald eagle eats the cat. The bald eagle likes the cow. The bald eagle needs the lion. The cat eats the lion. The cat is red. The cow eats the bald eagle. The lion eats the cat. The lion eats the cow. The lion is kind. The lion is red. The lion likes the cat. The lion likes the cow. The lion needs the bald eagle. The lion needs the cat. The lion needs the cow. If the cow needs the bald eagle and the cow likes the cat then the bald eagle likes the cow. If something needs the bald eagle and it needs the cow then the bald eagle eats the cow. If something needs the lion and the lion eats the cow then it is green. If something is green and it likes the cat then the cat needs the cow. If something eats the cow then it needs the lion. If something needs the cat and the cat eats the lion then the cat eats the bald eagle.
The cat does not need the cow.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle needs the lion.[(triple3 OR ((((triple13 triple15) -> rule2)) -> rule5))] The cat eats the lion.[(triple4)] The cat is red.[(triple5)] The cow eats the bald eagle.[(triple6)] The lion eats the cat.[(triple7)] The lion eats the cow.[(triple8)] The lion is kind.[(triple9)] The lion is red.[(triple10)] The lion likes the cat.[(triple11)] The lion likes the cow.[(triple12)] The lion needs the bald eagle.[(triple13)] The lion needs the cat.[(triple14)] The lion needs the cow.[(triple15)] @1: The bald eagle eats the cow.[(((triple13 triple15) -> rule2))] The bald eagle is green.[(((triple3 triple8) -> rule3) OR ((((((triple13 triple15) -> rule2)) -> rule5) triple8) -> rule3))] The cat eats the bald eagle.[(((triple14 triple4) -> rule6))] The lion needs the lion.[(((triple8) -> rule5))] @2: The lion is green.[(((((triple8) -> rule5) triple8) -> rule3))] @3: The cat needs the cow.[(((((((triple8) -> rule5) triple8) -> rule3) triple11) -> rule4))]