The bald eagle needs the cow. The bald eagle needs the lion. The bald eagle does not see the cow. The bald eagle sees the lion. The cow is not big. The cow is not blue. The cow is red. The cow sees the bald eagle. The cow visits the bald eagle. The cow visits the lion. The lion is blue. The lion is not red. The lion needs the bald eagle. The lion sees the cow. The lion visits the cow. If someone visits the cow then they do not visit the bald eagle. If someone sees the cow then they see the bald eagle. If someone visits the cow and the cow is young then the cow sees the bald eagle. If the cow needs the bald eagle then the bald eagle does not visit the lion. If the bald eagle needs the lion and the cow does not visit the bald eagle then the cow does not need the lion. If someone is red and they do not visit the bald eagle then the bald eagle is green.
The lion is green.
@0: The bald eagle does not see the cow.[(triple3)] The bald eagle needs the cow.[(triple1)] The bald eagle needs the lion.[(triple2)] The bald eagle sees the lion.[(triple4)] The cow is not big.[(triple5)] The cow is not blue.[(triple6)] The cow is red.[(triple7)] The cow sees the bald eagle.[(triple8)] The cow visits the bald eagle.[(triple9)] The cow visits the lion.[(triple10)] The lion is blue.[(triple11)] The lion is not red.[(triple12)] The lion needs the bald eagle.[(triple13)] The lion sees the cow.[(triple14)] The lion visits the cow.[(triple15)] @1: The lion does not visit the bald eagle.[(((triple15) -> rule1))] The lion sees the bald eagle.[(((triple14) -> rule2))]