The bald eagle is blue. The bald eagle is red. The bald eagle likes the dog. The bald eagle needs the cow. The cow is blue. The cow likes the bald eagle. The dog chases the bald eagle. The dog is round. The dog is young. The dog needs the bald eagle. The dog needs the tiger. The tiger is red. The tiger is young. The tiger likes the bald eagle. The tiger likes the cow. The tiger does not need the cow. If someone needs the tiger then they chase the tiger. If someone chases the tiger then they do not like the dog. If someone chases the tiger and they are not round then they are not red.
The tiger does not need the cow.
@0: The bald eagle is blue.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle needs the cow.[(triple4)] The cow is blue.[(triple5)] The cow likes the bald eagle.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog is round.[(triple8)] The dog is young.[(triple9)] The dog needs the bald eagle.[(triple10)] The dog needs the tiger.[(triple11)] The tiger does not need the cow.[(triple16)] The tiger is red.[(triple12)] The tiger is young.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger likes the cow.[(triple15)] @1: The dog chases the tiger.[(((triple11) -> rule1))] @2: The dog does not like the dog.[(((((triple11) -> rule1)) -> rule2))]