The bald eagle chases the tiger. The bald eagle needs the tiger. The bald eagle sees the cow. The bald eagle sees the tiger. The cow chases the tiger. The cow is kind. The cow is red. The cow sees the bald eagle. The cow sees the tiger. The tiger chases the bald eagle. The tiger chases the cow. The tiger is blue. The tiger is kind. The tiger is red. The tiger needs the bald eagle. Young, kind people are green. If someone needs the tiger and the tiger needs the cow then the cow is young. If someone chases the tiger and they chase the bald eagle then the bald eagle sees the tiger. If someone sees the tiger then the tiger needs the cow. If someone needs the bald eagle and the bald eagle chases the tiger then the bald eagle sees the cow. If someone is red and they need the tiger then they are blue.
The tiger does not need the cow.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bald eagle sees the cow.[(triple3 OR ((triple15 triple1) -> rule5))] The bald eagle sees the tiger.[(triple4)] The cow chases the tiger.[(triple5)] The cow is kind.[(triple6)] The cow is red.[(triple7)] The cow sees the bald eagle.[(triple8)] The cow sees the tiger.[(triple9)] The tiger chases the bald eagle.[(triple10)] The tiger chases the cow.[(triple11)] The tiger is blue.[(triple12)] The tiger is kind.[(triple13)] The tiger is red.[(triple14)] The tiger needs the bald eagle.[(triple15)] @1: The tiger needs the cow.[(((triple4) -> rule4) OR ((triple9) -> rule4))] @2: The cow is young.[(((triple2 ((triple4) -> rule4)) -> rule2) OR ((triple2 ((triple9) -> rule4)) -> rule2))] @3: The cow is green.[(((((triple2 ((triple4) -> rule4)) -> rule2) triple6) -> rule1) OR ((((triple2 ((triple9) -> rule4)) -> rule2) triple6) -> rule1))]