The bald eagle chases the cow. The bald eagle eats the tiger. The bald eagle is red. The cow eats the bald eagle. The cow is kind. The dog chases the tiger. The dog eats the cow. The tiger chases the cow. The tiger is red. The tiger needs the dog. If something chases the bald eagle and it is rough then the bald eagle needs the dog. If something is green then it needs the cow. If something eats the dog then the dog is green. If something chases the cow then the cow eats the dog. If the cow eats the tiger then the tiger chases the cow. If something eats the bald eagle and it eats the cow then the cow needs the tiger.
The cow does not need the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is red.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow is kind.[(triple5)] The dog chases the tiger.[(triple6)] The dog eats the cow.[(triple7)] The tiger chases the cow.[(triple8)] The tiger is red.[(triple9)] The tiger needs the dog.[(triple10)] @1: The cow eats the dog.[(((triple1) -> rule4) OR ((triple8) -> rule4))] @2: The dog is green.[(((((triple1) -> rule4)) -> rule3) OR ((((triple8) -> rule4)) -> rule3))] @3: The dog needs the cow.[(((((((triple1) -> rule4)) -> rule3)) -> rule2) OR ((((((triple8) -> rule4)) -> rule3)) -> rule2))]