The bald eagle chases the cow. The bald eagle chases the tiger. The bald eagle is green. The bald eagle needs the cow. The cow chases the bald eagle. The cow chases the tiger. The cow needs the tiger. The cow sees the tiger. The tiger is blue. The tiger is young. The tiger needs the cow. The tiger sees the bald eagle. If something needs the cow then the cow sees the tiger. If something sees the tiger and the tiger is green then it is young.
The bald eagle is not young.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle needs the cow.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow chases the tiger.[(triple6)] The cow needs the tiger.[(triple7)] The cow sees the tiger.[(triple8 OR ((triple11) -> rule1) OR ((triple4) -> rule1))] The tiger is blue.[(triple9)] The tiger is young.[(triple10)] The tiger needs the cow.[(triple11)] The tiger sees the bald eagle.[(triple12)]