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